Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 12 years, 5 months
  • Last seen more than 2 years ago
Stats
679
reputation
84k
reached
7
answers
11
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.

1
gold badge
8
silver badges
18
bronze badges
0
Score
5
Posts
28
Posts %
0
Score
5
Posts
28
Posts %
0
Score
4
Posts
22
Posts %
0
Score
4
Posts
22
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers