Toby Murray
Professor at University of Melbourne
Melbourne, Victoria, Australia
Summary
👤
Senior🎓
Top SchoolToby Murray is a Professor of Computer Science at the University of Melbourne and Director of the Defence Science Institute, with over a decade of academic and research leadership bridging university teaching and national defence research. He earned a PhD from Oxford and progressed through roles from research scientist and senior researcher to senior lecturer, associate professor and now professor, demonstrating sustained impact in both fundamental research and applied defence technology. His career reflects deep expertise in computing research applied to national priorities, evidenced by long-term roles at DSTO, NICTA and leadership at the Defence Science Institute. Toby combines academic rigor with strategic program leadership, mentoring researchers and shaping cross-sector collaborations between academia and defence. Based in Melbourne, he maintains a public-facing profile through a university website and active engagement on Twitter, signaling a commitment to communication beyond academia. An original researcher who transitioned into influential administrative and translational roles, he is known for turning technical research into policy-relevant and operational outcomes.
11 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of OxfordBachelor of Computer Science, Bachelor of Computer Science at University of Adelaide
Github Skills (40)
tlaplus10
tla10
agda10
proofs10
verification10
proof10
model-checking10
sat-solver10
isabelle10
specification10
trust10
rfc10
smt10
coq-library9
dependent-types9
Programming languages (7)
Github contributions (5)
tobycmurray/beautifulhugo
Jun 2016 - Jan 2025
Contributions:3 pushes in 8 years 8 months
hugostatic-website-generatorwebsite-generatorhugo-themestatic-site-generator
tobycmurray/marking-tools
Sep 2016 - Mar 2019
Contributions:12 pushes, 1 branch in 2 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.