This site is currently under development - not approved for public audience.
Skip navigation

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

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.