Student Projects

(Last updated: 27/09/2023)

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!

Examples of BSc Projects