Lately I've been interested in Functional Programming, Haskell in particular, and anything related to it. I have a strong interest in type systems and type level computations (including Oleg Kiselyov and Ralf Laemmel's work on the HList and OOHaskell).
I'm also interested in programming language implementation and design and virtual machines. Also, everything else that I forgot to mention...