Skip to main content
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 11 years, 10 months
  • Last seen this week
Stats
29,784
reputation
861k
reached
305
answers
43
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.

5
gold badges
64
silver badges
121
bronze badges
562
Score
44
Posts
13
Posts %
468
Score
51
Posts
15
Posts %
393
Score
47
Posts
14
Posts %
206
Score
41
Posts
12
Posts %
171
Score
41
Posts
12
Posts %
165
Score
35
Posts
10
Posts %
Top posts
View all questions and answers