Klaus von Gleissenthall
I am a post-doc in the Programming
group at UCSD
work with Ranjit Jhala
I am on the academic job market.
Here are my Research Statement
My research focuses on (automated) methods that make it
easier to implement correct and performant software systems. I
am paricularly interested in applying these methods to facilitate
reasoning about concurrent and distributed systems and for the
verification of security related properties.
My email address is
. This is my
Before coming to UCSD, I was a PhD student at
where I was advised by Andrey
and funded through a Microsoft Research
scholarship. During my PhD I worked at
Microsoft Research Cambridge
as an intern and contractor and
spent some more time there as a visitor. Before that, I received both a BSc. and MSc.
in computer science from TUM with a minor in logic and philosophy of science at LMU
. During my master's, I spent five month at Université Paris
For my PhD I worked on verification methods that track
cardinalities of sets. Reasoning about cardinalities is needed in
distributed systems where correctness arguments often rely on counting the number of
processes that are in a given state. Another application is quantifying
information flow where one needs to reason about the amount of secret information
leaked to an attacker.
||Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs. With Rami Gökhan Kici, Alexander Bakst, Deian Stefan and
Ranjit Jhala. [PDF]
||Verifying Distributed Programs via Canonical
Sequentialization. With Alexander Bakst, Rami Gökhan Kici and
||Cardinalities and Universal Quantifiers for Verifying
Parameterized Systems. With Nikolaj Bjørner and Andrey
|| Symbolic Polytopes for Quantitative Interpolation and
Verification. With Boris Köpf and Andrey Rybalchenko.
[Slides] [Extended Version]
|| An Epistemic Perspective on Consistency of Concurrent
Computations. With Andrey Rybalchenko. [PDF] [Slides]
||Bayesian Logic Networks and the Search for Samples with Backward
Simulation and Abstract Constraint Learning. With Dominik Jain and Michael Beetz.
See also my DBLP