Tim Rohde

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

I'm a PhD student advised by Deepak Garg at the Max Planck Institute for Software Systems in Saarbrücken, Germany.
I'm interested in the deductive verification of programs and part of the Amaryllis Project, an Iris-style separation logic framework for probabilistic programs. In the past, I also had a lot of fun with algorithms and fine-grained complexity theory.