Research Topics

Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security