I am a computer scientist at the Australian National University, working at the intersection of formal methods, programming languages, and concurrency. My research uses mathematical proof to provide strong guarantees of correctness and security.
I am a computer scientist at the Australian National University, working at the intersection of formal methods, programming languages, and concurrency. My research uses mathematical proof to provide strong guarantees of correctness and security.