Feel free to contact me for your thesis if the following sounds interesting to you.

Languages & Tools

  • The type of research I am doing requires to be comfortable with Java, as all of the projects that I work with are built with/and for it.
  • Most of the implementations are done using the Soot framework or can be done using SootUp. So a familiarization with these frameworks are also useful.

Research Topics

  • Parametric static analysis. (Survey, Tailor)
  • Utilizing program features in static analysis. (SootFx)
  • DSLs for defining static analyses. (IncA, Flix)


Send me an email with:

  • your motivation regarding the mentioned research topics
  • your CV and transcript