Oisín Kidney

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
Research interests:Functional Programming, Dependent Types

Contributions