Toby Murray

Dr Toby Murray

Conjoint Lecturer

I am a UNSW Conjoint Lecturer in the school of Computer Science and Engineering.


I am currently involved, alongside others, in teaching COMP 4161: Advanced Topics in Software Verification. This is Gerwin Klein's course that focuses on software verification using the interactive proof assistant Isabelle/HOL.

Research and Publications

See my NICTA page.