26,491
reputation
5
54
108

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.

286
answers
43
questions
~570k
people reached
  • University of British Columbia
  • Member for 7 years, 8 months
  • 1,730 profile views
  • Last seen 13 hours ago

Top tags (199)

Score 511
Posts 41
Posts % 12
Score 393
Posts 47
Score 308
Posts 44
Score 186
Posts 39
Score 152
Posts 35
Score 137
Posts 35

Top posts (329)

View all questions and answers

Badges (167)

Gold

5

Rarest

Silver

54

Rarest

Bronze

108

Rarest