Toby Murray

Proofcraft and UNSW

Professor of Computer Science, University of New South Wales

Lecturer, University of New South Wales

Senior Lecturer at the University of Melbourne

Software and Computational Systems Lab, LMU Munich

The Australian National University and The University of Edinburgh

Senior Lecturer, School of Computing and Information Systems, The University of Melbourne

Professor, School of Computing and Information Systems, The University of Melbourne