Dr Malcolm Newey

Adjunct Lecturer
ANU College of Engineering and Computer Science
T: +61 2 6125 4506

Biography

Research interests:
formal methods, programming language semantics,theorem proving infrastructure, software engineering

Return to top

Updated:  15 September 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers