I'm very interested in type safety, language design, logical expansion of type systems, compiler design, asymptotic analysis of functional programs, but generally speaking all things computer.