Graduate projects

I am interested in guiding students who like to to complete their MSc project in a topic which involves clever algorithmic/theoretical thinking and is related to up-to-date research. Currently, the focus of my research interests is on algorithms for program analysis.

List of past and on-going projects in chronological order (some of the reports are also available):