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 firstname.lastname@example.org.
You can find me in
Room 313 MPI-SWS Campus E1 5 D-66123 Saarbrücken Germany
Please send mail to
MPI-SWS Campus E1 4 D-66123 Saarbruecken Germany