As a PhD student, Harvey worked on the application of formal verification techniques such as interactive theorem proving to systems software, in particular the L4 microkernel in the context of the L4.verified project. Other research interests include computer architecture, embedded systems and security.
More contact information is available at the Contact page.
Mr Tuch was an intern in the virtualisation research group at Intel, Oregon for 6 months at the end of 2005.
Mr Tuch was awarded a Bachelor of Engineering in Computer Engineering, with first class Honours, at the University of New South Wales in 2002. He is currently engaged in a PhD with the ERTOS group at NICTA.