Johannes Lehmann studied computer science at RWTH Aachen, where he focused on formal verification of models. After completed his Master’s thesis on the semantics of recursive programs with nested conditioning, he joining CeTI in February 2023.
CeTI rooms you are / will be involved in:
What is your research interest?
I am interested in causality in formal systems. Currently, I’m investigating causes in games, which I hope will make it easier to reason about them.
What motivated you to do what you do today?
My field is rather theoretical and yet, many results have direct, practical applications. I enjoy working at this intersection of theory and practice.
What do you find particularly interesting about CeTI?
The breadth of expertise in many different fields is very impressive. I’m looking forward to collaborating with people in these different fields.
How do you spend your free time?
I enjoy board games, hiking and photography.