User:PhilipDerrin

From HaskellWiki
Jump to: navigation, search

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