Skip to main content
The 2024 Developer Survey results are live! See the results
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 11 years, 2 months
  • Last seen this week
Stats
2,942
reputation
18k
reached
13
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.
16
silver badges
30
bronze badges
30
Score
16
Posts
37
Posts %
5
Score
11
Posts
26
Posts %
4
Score
23
Posts
53
Posts %
4
Score
5
Posts
12
Posts %
2
Score
14
Posts
33
Posts %
2
Score
13
Posts
30
Posts %
Top posts
View all questions and answers