28,663
reputation
5
59
115

jmite
Loading…

I am Joey Eremondi, a PhD Student at the University of British Columbia.

I do research in Programming Languages and Theory of Computation, particularly with dependent types. My Masters Thesis was on improving error messages for higher order unification. I've also co-authored a few papers on reversal-bounded counter automata.

I have an M.Sc in Computing Science from Utrecht University, a B.Sc. Honours in Computer Science, and a B.Sc. 4-year in Mathematics, both from the University of Saskatchewan.

305
answers
43
questions
~698k
people reached

Top tags (203)

Score 543
Posts 44
Posts % 13
Score 447
Posts 51
Score 378
Posts 47
Score 197
Posts 41
Score 160
Posts 41
Score 156
Posts 35

Top posts (348)

View all questions and answers

Badges (179)

Gold

5

Rarest

Silver

59

Rarest

Bronze

115

Rarest