I am PhD student in the Programming Languages and Software Engineering research group at the Department of Mathematics and Computer Science of University of Marburg, Germany. I started my PhD studies in October 2008 at BRICS/DAIMI within the Programming Languages and Formal Methods group of Aarhus University, where I also got my M.Sc. degree in 2009. Before going to Denmark, I studied computer science at Darmstadt University of Technology, where I received a B.Sc. degree in 2007. My PhD project is supervised by Klaus Ostermann.
My general research interest is in the design of expressive extensible programming languages and their type systems. Furthermore, I am interested in any kind of static property checking, such as program analysis and software verification.