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):