Skip to main content
Ask Ubuntu
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 13 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
679
reputation
86k
reached
7
answers
11
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
1
gold badge
8
silver badges
18
bronze badges
Top tags
View all tags
0
Score
5
Posts
28
Posts %
0
Score
5
Posts
28
Posts %
0
Score
4
Posts
22
Posts %
0
Score
4
Posts
22
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
question
60
How to run a script, depending on internet connection
Feb 20, 2013
question
3
Advice for a high-end Ubuntu-friendly laptop? [closed]
Sep 23, 2011
question
2
How to make everything on stdout be read aloud (using espeak)?
May 13, 2013
question
2
Automatically sleep when all users (ssh or GUI) are logged out?
Jun 23, 2019
question
1
Can I run OpenGL 3.3 or higher (with or without HW acceleration) on 12.10 with Intel graphics?
Feb 8, 2013
question
1
Installing fglrx 13.3 with powerxpress on Ubuntu 13.04
Apr 16, 2013
question
1
Disadvantages to using NTFS as main storage drive?
Aug 19, 2016
question
0
Block specific websites when connected to certain wifi?
Jan 24, 2018
question
0
Installing lubuntu-desktop on Ubuntu 19.04? [duplicate]
May 8, 2019
question
0
GRUB Doesn't detect windows: Disk is MBR but booting via UEFI [duplicate]
Jun 18, 2019
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
58
What is the difference between an algorithm, a language and a problem?