Jul. 2005
I've moved buildings!! NICTA Kensington has moved into their new building on Anzac Parade. Note my updated contact details.
Apr. 2005
Embarked on the seL4 project, secure embedded L4. A project description is coming to the research page RSN.