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 more than a week ago
Stats
1,539
reputation
132k
reached
32
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
11
silver badges
22
bronze badges
37
Score
8
Posts
24
Posts %
27
Score
6
Posts
18
Posts %
25
Score
9
Posts
26
Posts %
23
Score
6
Posts
18
Posts %
20
Score
4
Posts
12
Posts %
19
Score
3
Posts
9
Posts %
Top posts
View all questions and answers