Engineering & Computer Science

Student research opportunities: in Logic & Computation

Discovering and developing logic-based computational methods for reasoning formally about the real world.
» Learn more about the Logic & Computation group.

Current projects

Projects with Dr Andreas Bauer (2 available) »

Projects with Dr Peter Baumgartner (2 available) »

Projects with Dr Michael Norrish (3 available) »

Projects with Dr Alwen Tiu (3 available) »

Projects with Dr Qing Wang (4 available) »

Updated: 7 May 2012 / Responsible Officer: JavaScript must be enabled to display this email address. / Page Contact: JavaScript must be enabled to display this email address.