Work at Stanford University as a Programming Language Researcher. Main area is around Security and the Haskell programming language.