Dr. Alexander Krauss

Cheftechnologe

Dr. Alexander Krauss

Dr. Alexander Krauss ist seit Anfang 2014 Cheftechnologe bei QAware. Er verantwortet den technischen Erfolg von Projekten u.a. bei den Kunden Deutsche Telekom, LBS und BMW. Die technische Bandbreite reicht in diesen Projekten von Browser-Apps für Endkunden, über Workflow- und Prozesssteuerung, bis hin zum ESB.

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.

Kontakt

Tel.:
+49 89 23 23 15 - 141
Mail:
alexander.krauss@qaware.de

Artikel

  • Data refinement in Isabelle/HOL

    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, mit Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

  • Scalable LCF-style proof translation

    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 51–66. Springer Verlag, 2013 (Cezary Kaliszyk, Alexander Krauss) PDF

  • Proof pearl: Regular expression equivalence and relation algebra

    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

  • Termination of Isabelle functions via termination of rewriting

    In: Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, editors, Interactive Theorem Proving (ITP 2011) (Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, and Jürgen Giesl) PDF

  • Monotonicity inference for higher-order formulas

    In: Journal of Automated Reasoning, 47(4), 2011 (Jasmin Christian Blanchette and Alexander Krauss) PDF

  • Recursive definitions of monadic functions

    In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF

  • A mechanized translation from higher-order logic to set theory

    In: Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving (ITP 2010) (Alexander Krauss and Andreas Schopp) PDF

  • Partial and nested recursive function definitions in higher-order logic

    In: Journal of Automated Reasoning (Alexander Krauss) PDF

  • Pattern minimization problems over recursive data types

    In: James Hook and Peter Thiemann, editors, International Conference on Functional Programming (ICFP 2008) (Alexander Krauss) PDF

  • Imperative functional programming in Isabelle/HOL

    In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF

  • Finding lexicographic orders for termination proofs in Isabelle/HOL

    In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF

  • Certified size-change termination

    In: Frank Pfenning, editor, Automated Deduction (CADE-21) (Alexander Krauss) PDF

  • Partial recursive functions in higher-order logic

    In: Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning (IJCAR 2006) (Alexander Krauss) PDF