Curriculum Vitae

Johannes Lehmann studierte Informatik an der RWTH Aachen, wo er sich auf die formale Verifikation von Modellen konzentrierte. Nach Abschluss seiner Masterarbeit über die Semantik rekursiver Programme mit verschachtelter Konditionierung wird er im Februar 2023 zum CeTI wechseln.

Worin liegt Ihr Forschungsinteresse?

Ich interessiere mich für Kausalität in formalen Systemen. Derzeit untersuche ich Ursachen in Spielen, die es hoffentlich einfacher machen, über sie nachzudenken.

Was hat Sie dazu bewegt das zu tun, was Sie heute tun?

Mein Fachgebiet ist eher theoretisch, und doch haben viele Ergebnisse direkte praktische Anwendungen. Es macht mir Spaß, an diesem Schnittpunkt von Theorie und Praxis zu arbeiten.

Was finden Sie beim CeTI besonders interessant?

Das breite Spektrum an Fachwissen in vielen verschiedenen Bereichen ist sehr beeindruckend. Ich freue mich auf die Zusammenarbeit mit Menschen aus diesen verschiedenen Bereichen.

Wie verbringen Sie Ihre Freizeit?

Ich mag Brettspiele, Wandern und Fotografie.

Veröffentlichungen

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 (Buchabschnitt)

In: Steffen, Bernhard (Hrsg.): Bridging the Gap Between AI and Reality, Bd. 14380, S. 188–214, Springer, 2023.

(Links | BibTeX)