Student Projects

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

One example MSc internship project can be found here.

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)