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.
- 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