Provide a quick, creative biography in 140 characters or less.
More bioI am a researcher in theoritical computer science. I work on typed lambda-calculus and machine assisted proof.
I am also a Linux/emacs/TeX/ML user !