I'm a PhD student advised by
Derek Dreyer at the Max Planck Institute for Software Systems in Saarbrücken, Germany.
I work on modal type systems. I have a bachelor's degree in computer science from Saarland University, and a master's degree from Oxford University with a thesis on model theory.