I am currently interested in quantum computation, especially the complexity theoretic aspects of the subject.
More generally, my research is in computational complexity, including relationships between complexity classes, resource-bounded reductions, and the almost-all structure of complexity classes (resource-bounded measure and category). I am also interested in computer security, including cryptology, access control of databases, and intrusion detection and recovery.
My other interests include the relationships between computation and physics, functional programming and languages, semantics, computability theory (a.k.a. recursion theory), and other areas of logic, especially when they relate to computing.