Management

Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter anderem bei dem Kunden Deutsche Telekom. Alexander Krauss hat an der TU München in Informatik promoviert und dort im Bereich Logik, Verifikation und Funktionale Programmierung geforscht und gelehrt. Seit Mitte 2011 ist er Mitarbeiter der QAware. Er ist überzeugt, dass ein System nur dann wartbar, performant und skalierbar sein kann, wenn es im Kern einfach ist.

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
Recursive definitions of monadic functions
A mechanized translation from higher-order logic to set theory
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