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 the verification of probabilistic programs, where my long-term vision is to build an Iris-style separation logic framework for probabilistic programs. Towards that end, I am currently working on extending probabilistic program logics with ghost state (i.e. to support dynamic allocation), and on a general notion of a probabilistic resource algebra as a foundation for general probabilistic program logics.