welcome to my homepage

Now running: COMP4161 - Theorem Proving Course
me

gerwin.klein@nicta.com.au

PGP key

This page looks better with style-sheets enabled.