CECS Home | ANU Home | Search ANU
The Australian National University
ANU College of Engineering and Computer Science
School of Computer Science
Computer Science
SoCS Home
About SoCS
News
What Is CS & IT?
Education
Research
People
Students
Contact
CECS Links
ANU Home
CECS Home
NICTA Home
Printer Friendly Version of this Document

UniSAFE

Staff Information

Picture of Malcolm Newey
Dr Malcolm Newey
Adjunct Lecturer
Emailmcn@cs.anu.edu.au
Phone+61 2 612 54506
Phone(other)0437 6257 98
Fax+61 2 612 50010
RoomN318 in the Computer Science and Information Technology (CSIT) building (#108)
Teaching

  • COMP2600 Formal Methods in Software Engineering, S2/2009

Research
formal methods, programming language semantics, theorem proving infrastructure, software engineering
Page last updated: 24 June 2009
Please direct all enquiries to: webmaster@cs.anu.edu.au
Page authorised by: Head of School, SoCS
The Australian National University — CRICOS Provider Number 00120C