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.

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