Wissenschaftlicher Mitarbeiter
Johannes Lehmann
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.
CeTI-Räume, an denen Sie beteiligt sind / sein werden:
TP5
Weitere Fragen:
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.