Klaus von Gleissenthall

NEW: I am now at UCSD. This is my new homepage.

I am a doctoral student at the chair of theoretical computer science at TUM. My advisor is Andrey Rybalchenko.

My research focuses on the automatic verification of security-related program properties. I am also interested in reasoning about concurrent programs.

I received both a BSc. and MSc. in computer science from TUM with a minor in logic and philosophy of sicence at LMU. During my master's, I spent five month at Université Paris Diderot.

For my MSc. thesis, I worked on characterizing consistency conditions of distributed systems in terms of knowledge.

My research is funded through a Microsoft Research scholarship.


NEW: Cardinalities and Universal Quantifiers for Verifying Parameterized Systems. With Nikolaj Bjørner and Andrey Rybalchenko. PLDI'16 . [PDF].

NEW: Symbolic Polytopes for Quantitative Interpolation and Verification. With Boris Köpf and Andrey Rybalchenko. In CAV'15. [PDF].

NEW: An Epistemic Perspective on Consistency of Concurrent Computations. With Andrey Rybalchenko. In CONCUR'13. [PDF] [Slides].

Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. With Dominik Jain and Michael Beetz. In KI'11.


Email: gleissen at in.tum.de