معرفی
Professor Toby Murray is a faculty member at the University of Melbourne's School of Computing and Information Systems, where he serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. He holds a D.Phil. in Computer Science from the University of Oxford (2011) and previously worked at NICTA/Data61 and UNSW.
His research focuses on security verification, neural network robustness, and software security, with projects including Verisimilar (verified secure ML), EDEFuzz (API vulnerability detection), and COVERN (concurrent program security). His work bridges formal methods with practical cybersecurity challenges, particularly in adversarial environments.
Publication trends show consistent contributions in formal verification (35% of recent papers), security testing (30%), concurrency models (20%), and neural network security (15%), with evolving focus toward AI safety and web API vulnerabilities.
- Distinguished Paper Award at ICSE 2024
He leads a research group with 7+ PhD students and postdocs, focusing on cybersecurity assurance and collaborative fuzzing techniques. His team develops tools like Legion (test case generation) and Underflow (vulnerability detection).
