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.
-
University of British Columbia
-
Member for 7 years, 11 months
-
230 profile views
-
Last seen Apr 17 at 6:30
Communities (43)
Top network posts
Badges (38)
Gold
Silver
Rarest
-
Oct 9 '17
-
Jul 6 '19
-
Sep 24
Bronze
Rarest
-
Jun 7 '13
-
May 30 '13
-
Jul 2 '14