Dr Malcolm Newey

Adjunct Lecturer
T: +61 2 6125 4506

Biography

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

Return to top

Updated:  23 September 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers