Skip navigation
The Australian National University

New website coming soon

Please note that over the next month our website will be changing. Go to cecs.anu.edu.au/newsite for more information.

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:  13 July 2015 / Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4