profile icon
A/Prof

Toby Murray

Associate Professor
Computing and Information Systems
Security
Verification
Logic
Formal Methods
Programming Languages
Software Engineering
science & technology
computer science
technology
Toby Murray's Profile Picture
A/Prof

Toby Murray

 
Division
Engineering and IT
 
Primary Interest
Computer Security
Toby Murray's Profile Picture
A/Prof

Toby Murray

 

Scholarly Works

Displaying the 10 most recent scholarly works from 60 for Toby Murray.

Honours, Awards and Fellowships

2021

Eureka Prize for Outstanding Science in Safeguarding Australia

Australiam Museum

2018

Best BP Paper for "Formal Proofs, the Fine Print and Side Effects"

IEEE Cybersecurity Development Conference (SecDev) 2018

2017

National iAward for Research and Development Project of the Year

AIIA

2017

National iAward for Infrastructure and Platforms Innovation of the Year

AIIA

2006

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

University of Adelaide

5

Awards

Credentials

Positions


Associate Professor

Computing and Information Systems

Education


Doctor of Philosophy in Computer Science

University of Oxford

Bachelor of Computer Science with First Class Honours

Adelaide University