Curriculum Vitae

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.

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.

Publications

1.

Christel Baier; Roxane van den Bossche; Sascha Klüppelholz; Johannes Lehmann; Jakob Piribauer

Backward responsibility in transition systems using general power indices (Proceedings Article)

In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2024.

(Links | BibTeX)

2.

Clemens Dubslaff; Jonas Schulz; Patrick Wienhöft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann

Towards a formal account on negative latency (Book Section)

In: Steffen, Bernhard (Ed.): Bridging the Gap Between AI and Reality, vol. 14380, pp. 188–214, Springer, 2023.

(Links | BibTeX)