I am a research assistant and PhD student with the Chair of Software Engineering II at the University of Passau, Germany. My research focuses on automated test generation for dynamically-typed programming languages, and on static and dynamic analysis techniques for such languages. Furthermore, I am interested in type systems; in particular type systems and type inference strategies for dynamically-typed languages.


Prospective Students

In case you are a student looking for a bachelor or master thesis: please have a look on the page about teaching.