Fellow
Australia – 2014
CITATION

For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use.

ACM Senior Member
Australia – 2009