Klaus von Gleissenthall
I am now at UCSD. This is my new homepage.
I am a doctoral student at the chair of
theoretical computer science
. 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
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
Cardinalities and Universal Quantifiers for Verifying
With Nikolaj Bjørner and Andrey
Symbolic Polytopes for Quantitative Interpolation and
Verification. With Boris Köpf and Andrey Rybalchenko.
An Epistemic Perspective on Consistency of Concurrent
Computations. With Andrey Rybalchenko. In CONCUR'13
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