Skip navigation
The Australian National University

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:  25 August 2014 / Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.