Member for 11 years, 8 months
Last seen more than 3 years ago
University of Edinburgh
I am Joey Eremondi, a post-doctoral researcher at the University of Edinburgh LFCS.
Previously I was 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.
BadgesView all badges
This user doesn’t have any gold badges yet.
×3Feb 5, 2021
SupporterApr 20, 2013
AutobiographerDec 28, 2014
This user hasn’t posted yet.
Top network postsView all network posts