Joey Eremondi

I’m Joseph (Joey) Eremondi, a PhD student working with Ron Garcia at the UBC Software Practices Laboratory.

My research is centred around type systems for making code more reliable, and in the theory and practice of making such systems easier to use. In particular, I’m interested in mixing dependent types with gradual types and improving error messages for dependently-typed languages. I’ve also researched the properties of reversal-bounded counter automata, and the shuffle operator on words.


May ’22
Mar ’21

I have successfully defended my thesis proposal: I am officially a PhD Candidate

Feb ’20

I was awarded the John McCarthy best paper award for my TFP 2019 paper


PerDis  2016
Julian Petford, Miguel A. Nacenta, Carl Gutwin, Joseph Eremondi, Cody Ede