I am always eager to supervise enthusiastic candidates for PhD and Masters positions in the areas of programming languages theory, concurrency, formal methods and verification.

See below for a list of project ideas. Alternatively, I am happy to supervise student-proposed project ideas in the area of programming languages. Do not hesitate to contact me for more more information!