Dr. Joseph Eremondi

Prospective Graduate Students: I’m currently recruiting new Masters or Doctoral students. See this post if you’re interested in working on programming languages theory with me.


I’m Joseph (Joey) Eremondi, an Assistant Professor in Computer Science at the University of Regina.

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 developing semantics to increase the flexibility of dependent pattern matching, 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, set constraints, and the shuffle operator on words

Previously, I was Royal Society Newton International Fellow doing post-doctoral research with with Ohad Kammar in the Laboratory for Foundations of Computer Science at the University of Edinburgh. I completed my PhD with Ron Garcia at the UBC Software Practices Laboratory.

News

Jan ’24

Started as Assistant Professor at University of Regina.

Dec ’23

Gave a talk at the Scottish Programming Languages Seminar about my postdoc research on pattern matching, video here

Jun ’23

Gave a talk at the University of Strathclyde MSP101 Seminar Series about gradual dependent types, video here

Apr ’23

Successfully defended PhD thesis “On The Design of a Gradual Dependently Typed Language for Programming”. The final version of my dissertation can be read here.

Oct ’22

Awarded the Royal Society Newton International Fellowship with Ohad Kammar, researching improved semantics for dependent pattern matching

Teaching

Jul '24

CS 350: Programming Language Concepts

Publications

CPP  2024
ICFP  2022
ICFP  2019
TFP  2019
Open CS  2019
Comp. System Sciences  2019
Info. Comput.  2018
IJFCS  2018
Info. Comput  2017
PerDis  2016
Julian Petford, Miguel A. Nacenta, Carl Gutwin, Joseph Eremondi, Cody Ede

Talks

SPLS  2023
WITS  2023
MSP101  2023
ICFP  2022
ICFP  2019

Posts

Jan ’24
Feb ’18
Dec ’17
All Posts