28,483
reputation
5
58
113

jmite

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.

304
answers
43
questions
~684k
people reached
  • University of British Columbia
  • Member for 8 years, 10 months
  • 2,043 profile views
  • Last seen 10 hours ago

Top tags (203)

Score 541
Posts 44
Posts % 13
Score 446
Posts 51
Score 371
Posts 47
Score 196
Posts 41
Score 156
Posts 35
Score 154
Posts 40

Top posts (347)

View all questions and answers

Badges (176)

Gold

5

Rarest

Silver

58

Rarest

Bronze

113

Rarest