I’m a master student doing a year long internship in the Netherlands on agda-core supervised by Jesper Cockx.

Education

• Master degree