27,703
reputation
5
57
110

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.

294
answers
43
questions
~612k
people reached
  • University of British Columbia
  • Member for 8 years, 2 months
  • 1,883 profile views
  • Last seen 46 mins ago

Top tags (199)

Score 514
Posts 41
Posts % 12
Score 426
Posts 49
Score 365
Posts 45
Score 187
Posts 39
Score 154
Posts 35
Score 141
Posts 36

Top posts (337)

View all questions and answers

Badges (172)

Gold

5

Rarest

Silver

57

Rarest

Bronze

110

Rarest