![Joomy Korkut](https://icfp23.sigplan.org/getProfileImage/joomykorkut/affe129b-1505-49bd-9d0d-1ce6600a9b00/small.jpg?1711485099000)
Registered user since Mon 13 Aug 2018
Name:Joomy Korkut
Bio:
PhD student.
Country:United States
Affiliation:Princeton University
Personal website: http://joomy.korkutblech.com/
X (Twitter): https://x.com/vowelharmony
GitHub: https://github.com/joom
Research interests:dependent types, formal verification, proof automation, metaprogramming, reflection
Contributions
ICFP 2023-profile
View general profile
View general profile