<< Back to list
James Tobler is a research assistant in the School of Computing and Information Systems at the University of Queensland, under the supervision of Assoc. Prof. Toby Murray. His undergraduate thesis involved developing novel techniques for generating rely-guarantee conditions for formal verification of concurrent programs. He is interested in formal analysis of software and systems.