I work under the supervision of Brigitte Pientka and my main research interests are:

◾ Types systems and formal logic ◾ Programming with binders and HOAS (Beluga) ◾ Temporal logic and other modal logics ◾ Principled approaches to programming language design