Trustworthy Systems

Harvey Tuch
PhD Student

Research Interests

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.

Contact Details

More contact information is available at the Contact page.




Career Summary

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.