I'm interested in Formal Theory and Functional Languages (Haskell).
Found me at http://blog.htedsv.com