Management

Alexander Krauss

Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the field of IT security, including at the customer Deutsche Telekom. He earned his Ph.D. in Computer Science at Technical University of Munich, where he researched and taught in the areas of logic, verification, and functional programming. He has been an employee of QAware since mid-2011. He is convinced that a system can only be maintainable, performant, and scalable if it is simple at its core.

Machine learning-based run-time anomaly detection in software systems: An industrial evaluation
Partiality and recursion in interactive theorem provers: An overview
Proof pearl: Regular expression equivalence and relation algebra
Scalable LCF-style proof translation
Data refinement in Isabelle/HOL
Invited Talk: Formalized Regular Expression Equivalence and Relation Algebra (in Isabelle/HOL)
Termination of Isabelle functions via termination of rewriting
Monotonicity inference for higher-order formulas
A mechanized translation from higher-order logic to set theory
Recursive definitions of monadic functions
Partial and nested recursive function definitions in higher-order logic
Imperative functional programming in Isabelle/HOL
Pattern minimization problems over recursive data types
Certified size-change termination
Finding lexicographic orders for termination proofs in Isabelle/HOL
Partial recursive functions in higher-order logic