Registered user since Wed 15 Jun 2016
Name: Toby Murray
Bio: Toby’s current research focuses, among other things, on the formal verification of security properties of microkernel-based systems in the context of the seL4 kernel, and on how to dramatically reduce the cost of producing verified systems code, like file systems, by leveraging domain-specific languages and automated and interactive verification.
Affiliation: NICTA and UNSW
Personal website: http://www.cse.unsw.edu.au/~tobym/
ECOOP 2015 Activities
View general profile