![Niek Mulleners](https://icfp24.sigplan.org/getProfileImage/niekmulleners/be2ef6b5-c8f4-4490-8250-a4d5ee3908ec/small.jpg?1711466570000)
Registered user since Thu 6 May 2021
Name:Niek Mulleners
Country:Netherlands
Affiliation:Utrecht University
Research interests:Type Theory, Dependently Typed Programming, Formal Verification, Program Synthesis
Contributions
Using general profile
Registered user since Thu 6 May 2021
Contributions