David Terei

I'm a software developer and computer science researcher that lives in San Francisco. I'm currently having a lot of fun working at Stanford University as a Programming language research with some great people in the Secure Computing Systems group.

~ Current Projects ~

I'm currently working on an extension to the Haskell programming language called Safe Haskell. It allows for secure systems to be built on top of the Haskell language by enforcing strict type safety, module boundaries and extending the module import mechanism. It is currently implemented in GHC. This is in collaboration with David Mazières, Simon Marlow and Simon Peyton Jones.

~ Blog | Twitter | Github | Flickr | Linkedin | Resume ~