Registered user since Thu 15 Jul 2021
Name:Oisín Kidney
Bio:
Current PhD student in Nicolas Wu’s group at Imperial. Originally from Cork, Ireland.
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://doisinkidney.com/
X (Twitter): https://x.com/oisdk
GitHub: https://github.com/oisdk
Research interests:Functional Programming, Dependent Types
Contributions
Using general profile