Between May 2011 and September 2013 I was Research Associate at the University of Pennsylvania, working on the CRASH/SAFE project under the supervision of Benjamin C. Pierce. I was a member of the Penn PL Club.
I received my PhD from Saarland University. While in Saarbrücken, I held fellowships from the International Max Planck Research School for Computer Science and Microsoft Research Cambridge.
E-mail (preferred): firstname.lastname@example.org
My official webpage: