Supervised Students and Postdocs:
- Graduate Students:
- Delaney, Christopher
- Fomatati, Yves Baudelaire
- O'Neill, Thomas
- Postdoctoral Researchers:
- Bagnol, Marc (Co-supervised with Pieter Hofstra and Philip Scott)
- Fortier, Jérôme (Co-supervised with Pieter Hofstra and Philip Scott)
Research Group(s): Logic and Foundations of Computing