Toby Murray

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 assistant Isabelle/HOL.

Research and Publications

See my NICTA page.