Skip to main content
Theoretical Computer Science
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 11 years, 1 month
  • Last seen this week
Profile Activity
Stats
2,942
reputation
17k
reached
13
answers
30
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
This user doesn’t have any gold badges yet.
16
silver badges
30
bronze badges
Top tags
View all tags
30
Score
16
Posts
37
Posts %
5
Score
11
Posts
26
Posts %
4
Score
23
Posts
53
Posts %
4
Score
5
Posts
12
Posts %
2
Score
14
Posts
33
Posts %
2
Score
13
Posts
30
Posts %
Top posts
View all questions and answers
26
Advanced techniques for determining complexity lower bounds
Jul 22, 2013
21
What notable automaton models have polynomially-decidable containment?
Jun 16, 2014
16
Are there variants of visibly pushdown automata that allow pushing of words onto the stack?
Jul 18, 2013
14
Are Turing machines still useful as model of computation?
Apr 5, 2019
14
Why is the Curry-Howard isomorphism?
Nov 10, 2021
14
Which universities in the U.S. are doing research in type theory?
Nov 28, 2021
12
Intuition Behind Strict Positivity?
Apr 2, 2019
12
Is there a book/survey-paper outlining language class hierarchies, closure properties, etc
May 28, 2013
12
State of the Art for the Monadic Class?
Nov 5, 2017
12
Proof techniques for showing that dependent type checking is decidable
Oct 11, 2018
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