Phone: +64 4 463 5233 x7526
Location: CO348, Cotton Building, Kelburn Campus - Postal Address
Research Interests: Program logics and verification
Thesis Title: Mechanical verification of linearisability of non-blocking algorithms
Supervisor: A/Prof Lindsay Groves and Dr Petra Malik