• Welcome
  • Blog
    • 2012
    • 2011
    • 2009
    • 2008
    • 2007
    • 2006
    • 2005
    • 2004
    • 2003
    • 2002
• Research
• Students
• Teaching
• Contact

2005

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.