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 8 years, 6 months
-
1,952 profile views
-
Last seen 11 hours ago
Communities (43)
Top Meta Posts
3
5
Top network posts
Badges (172)
Gold
Rarest
-
Mar 5
-
Nov 15 '14
-
Jan 11 '16
Silver
Rarest
-
Apr 6 '16
-
Mar 14 '17
-
May 11 '16
Bronze
Rarest
-
Dec 19 '18
-
Nov 25 '16
-
Mar 5 '16