profile icon
Dr

Toby Murray

Senior Lecturer In Software Engineering
science & technology
technology
computer science
computer science, theory & methods
computer science, software engineering
verification
engineering, electrical & electronic
engineering
sel4
Toby Murray's Profile Picture
Dr

Toby Murray

 
Division
Engineering
 
Primary Interest
Computer Security
Toby Murray's Profile Picture
Dr

Toby Murray

 

Toby is a faculty member of the Department of Computing and Information Systems. His research focuses on how to build highly secure computer systems using rigorous techniques, such as formal software verification and novel programming languages.

Before joining the University of Melbourne, he worked at NICTA (now Data61) where he led the team that completed the world's first proof that a general purpose operating system kernel could enforce data confidentiality, for the seL4 kernel; played a leading role in the development of the COGENT programming language for verified systems programming; and collaborated with DST Group to build and verify the security of seL4-based cross domain devices. He holds a D.Phil. in Computer Science from the University of Oxford, awarded in June 2011, and a Bachelor of Computer Science with First Class Honours from the University of Adelaide, awarded in August 2005.

Scholarly Works

Displaying the 45 most recent scholarly works by Toby Murray.

Honours, Awards and Fellowships

2006

John Crampton Travelling Scholarship (3-year fully funded PhD scholarship to the University of Oxford)

University of Adelaide

1

Award

Credentials

Positions


Senior Lecturer In Software Engineering

Computing And Information Systems

Education


Doctor of Philosophy in Computer Science

University of Oxford

Bachelor of Computer Science with First Class Honours

Adelaide University