Available projects

The following are suggested projects which members of the Logic & Computation group have indicated they are willing to supervise. Some of them could be undertaken either briefly for a summer internship or in greater depth and detail for a Masters or PhD thesis. Suitability for PhD, Masters, Honours or Summer Scholarship is indicated in each case.

Students interested in pursuing research at any level in the group are invited to contact the group members directly, mentioning any of the advertised projects which they find interesting. Please also contact us if you have an idea for a project of your own design that you wish to pursue with us, even if the idea is only half-baked.