Logic and automated theorem proving, metamathematics, programming language theory and formal methods.
More contact information is available at the Contact page.
Interaction Tree semantics for Pancake.