User Joey Eremondi

Stats

101

reputation

reached

answers

questions

Communities

View all

Computer Science

30.1k
Stack Overflow

8.4k
Theoretical Computer Science

3k
Academia

2.4k
TeX - LaTeX

1.6k

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

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badges

Supporter

May 26, 2016
Autobiographer

May 26, 2016

Posts

This user hasn’t posted yet.