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.


  • Stephan Lukasczyk. A Provident Abstraction Refinement Framework for Multi-Path Refinements. Master Thesis. University of Passau, 2018.
  • Stephan Lukasczyk. Unbounded Heap Support for CPAchecker’s Predicate Analysis Using SMT Arrays. Bachelor Thesis. University of Passau, 2016.

Prospective Students

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