Janine Lohse

Research Group: Foundations of Programming, Foundations of Security
Contact details: can be found here

I'm a PhD student co-advised by Deepak Garg and Derek Dreyer at the Max Planck Institute for Software Systems in Saarbr├╝cken, Germany.
I'm interested in logic and verification. Currently, I'm working on extending the logic framework Iris for the verification of probabilistic programs.

Photo of Janine Lohse


Automata-Based Software Model Checking of Hyperproperties

Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse

NFM 2023, Houston, USA 2023.


Winter 2023/24 Mathematics Preparatory Course
Summer 2022 Big Data Engineering
Student TA
Winter 2021/22 Programming 1
Student TA
Winter 2021/22 Mathematics Preparatory Course
Winter 2020/21 Theoretical Computer Science
Student TA
Winter 2020/21 Programming 1
Student TA
Winter 2020/21 Mathematics Preparatory Course
Student TA