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.