Student Projects

(Last updated: 09/01/2024)

Looking for a student project? Did you enjoy BSc courses like Introduction to Logic, Program Correctness, and Languages and MachinesHere I collect information for BSc and MSc students at the UG interested in working under my supervision.


Suggested Resources

Strongly recommended

I highly recommend Robin Milner's Turing lecture, which provides a good overview of the motivations and intuitions underlying process calculi, and their role as foundational models of concurrency and interaction:

Further pointers 

In addition to "Elements of Interaction", you may find the following pointers useful:


Contact me!


BSc Projects 2024 


Examples of BSc Projects