Skip navigation
The Australian National University
photo of Malcolm

Dr Malcolm NEWEY

Alumni
Position:Adjunct Lecturer
Email:JavaScript must be enabled to display this email address.
Phone:54506
Building:RSISE (115)
Room:B239
Groups:CS, LC
Staff category:Adjunct

Research interests:

formal methods, programming language semantics,theorem proving infrastructure, software engineering

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.