welcome to my homepage
New lecture:
COMP2111 XT
News: Submit a paper to the
JAR Special Issue on Operating Systems Verification
!
-->
Contact
Teaching
Publications
Projects
About
gerwin.klein@nicta.com.au
PGP key
This page looks better with style-sheets enabled.
