conf.researchr.org / Oisín Kidney
![Oisín Kidney](https://conf.researchr.org/getProfileImage/oisinkidney/58a0a525-cbdf-45b4-9a59-56c2f015eeaf/small.jpg?1711526392000)
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