Lambda the Ultimate

Software engineer at ForgeRock working on OpenAM (formerly Sun's OpenSSO). Previously completed a PhD in the Intelligent Agents group at Nottingham University, and worked on a variety of enterprise Java contracts. In my spare time I am very slowly working on a strongly statically typed agent-oriented programming language: Haskell meets Erlang plus typed Datalog with a syntax influenced by ML and Smalltalk.