Thesis

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)

Application

Send me an email with:

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