Skip to main content
Academia
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
2,252
reputation
153k
reached
36
answers
2
questions
Communities
View all
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.

Badges
View all badges
2
gold badges
18
silver badges
26
bronze badges
Top tags
View all tags
60
Score
8
Posts
21
Posts %
54
Score
10
Posts
26
Posts %
48
Score
4
Posts
11
Posts %
46
Score
4
Posts
11
Posts %
43
Score
8
Posts
21
Posts %
37
Score
8
Posts
21
Posts %
Top posts
View all questions and answers
29
Path from humanities undergrad to math PhD
May 24
28
Is Pursuing a Part-Time STEM Master's While Doing a Social Science PhD a Good Idea for Industry Jobs?
Jun 2
16
PHD in Mathematics
May 20, 2017
12
What should a graduate student be doing in the summer?
May 23, 2017
11
Funding opportunities for Computer Scientist Faculty in Canada
Apr 20, 2017
10
Is It appropriate for students to express interest in becoming a non-funded TA for a specific course?
Jan 12
9
How to efficiently engage undergraduate students in my research program?
Jul 27, 2016
9
Post-doc for two (two-body problem): How to search, apply, and improve our chances?
Jun 2
8
MPhil vs. MSc. in the UK?
Jul 29, 2013
6
If you plan on getting a PhD could you strictly take classes in your field to prove yourself and not get your bachelors?
Mar 28, 2017
Top network posts
View all network posts
244
Why, really, is the Halting Problem so important?
202
Git: fatal: Pathspec is in submodule
97
If everyone believes P ≠ NP, why is everyone sceptical of proof attempts for P ≠ NP?
77
Dependent types vs refinement types
60
How to run a script, depending on internet connection