Main>People>AllanTabilog (12 May 2011, Main.craig)

Allan Tabilog, PhD Student

B. Sc. Hons (First class) in Logic and Computation

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