Interests - General: mathematical foundations of programming languages - Theory and practice of functional programming, especially Haskell and Agda - Higher-order abstract syntax and Fiore-Plotkin-Turi style semantics - Higher-order rewriting and its categorical algebraic semantics