Student Projects

Available projects can be found in the projects page of the Fundamental Computing group.

Feel free to contact me if you are interested in one of the available projects, or would like to discuss your own idea.

Courses

Introduction to Automated Reasoning (WBCS063-05)

• New BSc course starting in the academic year 2026/27, details to follow.