Invited Talks
- Resourceful Program synthesis from graded linear types
Mobility Reading Group at Imperial College London, 2021
Foundations of Software Systems reading group at University of Sussex, 2020
Programming Languages and Systems seminar at University of Kent, 2020