Dr Toby Murray
Conjoint Senior Lecturer
I am a UNSW Conjoint Senior Lecturer in the school of
Computer Science and Engineering.
I currently teach COMP 4161: Advanced Topics in Software Verification.
This is a NICTA advanced course that focuses on software verification using the interactive proof
Research and Publications
See my NICTA page.
- Phone: +61 2 8306 0567
- Office: Level 6, L5 Building, 223 Anzac Parade, Kensington NSW, 2033