Joey Eremondi
-
Member for 12 years, 6 months
-
Last seen more than 4 years ago
-
GitHub
-
University of Edinburgh
Stats
679
reputation
0
reached
0
answers
0
questions
Loading…
About
Assistant Professor at the University of Regina.
Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.
Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.
Badges
View all badges
This user doesn’t have any gold badges yet.
3
-
Yearling
× 3Feb 5, 2021
2
-
SupporterApr 20, 2013
-
AutobiographerDec 28, 2014
Posts
This user hasn’t posted yet.
Top network posts
View all network posts