Researcher (tenured, chargé de recherche) at Inria Paris in the Prosecco team.
Until September 2013 I was Research Associate at the University of Pennsylvania, workingunder the supervision of Benjamin C. Pierce. In the fall of 2016 I held a Visiting Researcher position at Microsoft Research Redmond. I received my PhD from Saarland University in Saarbrücken, Germany.
Quick Links: Contact; Projects; Interests; Group; Publications; Talks; Teaching; Tools; Misc