Supervised Students and Postdocs
- Graduate Students:
- Lu, Weiyun (Co-supervised with Amy Felty)
- Yan Steimle
- Parker, Jason (Co-supervised with Pieter Hofstra)
- Simon Fortier-Garceau (Cosupervised with Pieter Hofstra)
- Postdoctoral Researchers:
- Pierre-Alain Jacqmin (Co-supervised with Rick Blute)
Research Group
- Logic and Foundations of Computing