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, 9 months
  • Last seen this week
Profile Activity
Stats
2,402
reputation
157k
reached
40
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
63
Score
9
Posts
21
Posts %
57
Score
11
Posts
26
Posts %
54
Score
6
Posts
14
Posts %
45
Score
4
Posts
10
Posts %
43
Score
8
Posts
19
Posts %
36
Score
8
Posts
19
Posts %
Top posts
View all questions and answers
answer
29
Path from humanities undergrad to math PhD
May 24
answer
28
Is Pursuing a Part-Time STEM Master's While Doing a Social Science PhD a Good Idea for Industry Jobs?
Jun 2
answer
16
PHD in Mathematics
May 20, 2017
answer
12
What should a graduate student be doing in the summer?
May 23, 2017
answer
11
Funding opportunities for Computer Scientist Faculty in Canada
Apr 20, 2017
answer
9
How to efficiently engage undergraduate students in my research program?
Jul 27, 2016
answer
9
Post-doc for two (two-body problem): How to search, apply, and improve our chances?
Jun 2
answer
9
Is It appropriate for students to express interest in becoming a non-funded TA for a specific course?
Jan 12
question
8
MPhil vs. MSc. in the UK?
Jul 29, 2013
answer
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
245
Why, really, is the Halting Problem so important?
203
Git: fatal: Pathspec is in submodule
97
If everyone believes P ≠ NP, why is everyone sceptical of proof attempts for P ≠ NP?
79
Dependent types vs refinement types
60
How to run a script, depending on internet connection