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
Using general profile