welcome to my homepage

News: Submit a paper to the
JAR Special Issue on Operating Systems Verification!
me

gerwin.klein@nicta.com.au

PGP key

This page looks better with style-sheets enabled.