Dr Jeremy Dawson

Research Fellow, Research School of Computer Science
National ICT Australia
ANU College of Engineering & Computer Science

Information technology, formal specification and verification, automated reasoning

IT