PhD Students
Ryan Tay, co-supervised with Dr. Harsh Beohar (started in September 2025)
Fixed point operators: combining smoothly inductive and coinductive operators, semantics and verification of functional programs, probabilistic computation.
Anita Moyassari, co-supervised with Dr. Harsh Beohar (started during Spring 2025)
Coalgebraic approaches, semantics of functional program with infinitary recursion, verification via coalgebraic automata theory, probabilistic computation.
Cédric de Lacroix, co-supervised with Prof. Luigi Santocanale (started in October 2021, defended in November 2024)
In-depth study of ordered structures originating from Linear Logic.