Skip to main content
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 13 years, 6 months
  • Last seen this week
Profile Activity
Stats
8,383
reputation
392k
reached
14
answers
143
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
7
gold badges
45
silver badges
85
bronze badges
Top tags
View all tags
7
Score
55
Posts
35
Posts %
6
Score
33
Posts
21
Posts %
6
Score
23
Posts
15
Posts %
6
Score
19
Posts
12
Posts %
6
Score
18
Posts
11
Posts %
2
Score
26
Posts
17
Posts %
Top posts
View all questions, answers, and articles
question
203
Git: fatal: Pathspec is in submodule
Jun 29, 2014
question
42
Batch equivalent of "source" on Windows: how to run a Python script from a virtualenv
Jul 21, 2011
question
29
How to view the generated code for derived instances / deriving in Haskell
Aug 30, 2013
question
28
Boilerplate-free annotation of ASTs in Haskell?
Nov 26, 2014
question
25
Windows 7: how to bring a window to the front no matter what other window has focus?
Jun 10, 2011
answer
25
How to filter out "Nothing" values from Elm Array?
Oct 13, 2015
question
15
What parts of a virtualenv need to be changed to relocate it? [duplicate]
Jul 25, 2011
question
13
How to get cabal to ignore the global package DB when using a sandbox
Feb 5, 2014
question
11
Is it possible to subclass Lock() objects in Python? If not, other ways to debug deadlock?
Jul 21, 2011
question
10
Standard way to iterate over a StringBuilder in Java?
Jul 14, 2014
Top network posts
View all network posts
245
Why, really, is the Halting Problem so important?
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
58
What is the difference between an algorithm, a language and a problem?