Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 10 years, 10 months
  • Last seen this week
Stats
2,832
reputation
16k
reached
11
answers
30
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.

This user doesn’t have any gold badges yet.
15
silver badges
29
bronze badges
30
Score
16
Posts
39
Posts %
4
Score
23
Posts
56
Posts %
4
Score
5
Posts
12
Posts %
2
Score
14
Posts
34
Posts %
2
Score
13
Posts
32
Posts %
2
Score
10
Posts
24
Posts %
Top posts
View all questions and answers