User:PhilipDerrin

From HaskellWiki

I'm located in Sydney, working on the seL4 project at NICTA.