His research interests are in the semantics, logical foundations, and implementations of programming languages. He has published on a range of themes including the typing, logical foundations, and programming applications of continuations and continuation-passing style, reasoning about monadic effects and staged computation, and programming language models of quantum computing.
His most recent research interests are related to quantum computing.
- Programming Languages
- Theoretical Computer Science
- Algorithms and Theoretical Computer Science