Skip to main content
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 8 years, 1 month
  • Last seen more than a week ago
Stats
722
reputation
17k
reached
0
answers
2
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
11
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts