A photo of me.
Photo from ISSTA 2013, Lugano, Switzerland.

I am a first-year PhD student at the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University in Saarbrücken, Germany. My advisor is Derek Dreyer, head of the Foundations of Programming Group. I am currently working on compiler verification with parametric inter-language simulations. In addition, I am working on Beta Ziliani‘s monad tactic language for Coq, Mtac. My past work has been on constructive formalizations of regular languages.

I am generally interested in formalizations and how to make them easier to write, read and understand.

According to my colleagues, I am a Russian viking.


My email address is janno@mpi-sws.org.

You can find me in

Room 313
Campus E1 5
D-66123 Saarbrücken

Please send mail to

Campus E1 4
D-66123 Saarbruecken