Dr. Joey Eremondi

Assistant Professor

Office: Research and Innovation Center 317
E-mail: joseph.eremondi@uregina.ca
Phone: (306) 585-4741
Fax: (306) 585-4745
Website: https://eremondi.com

Research interests

Research interests: Dr. Eremondi researches the theory of programming languages, focusing on on dependently typed programming languages, which allow programmers to mathematically specify how their code should be have and prove that it meets that specification. His current work is on tools for making these languages easier to use, including gradual dependent types, improved semantics for pattern matching, ordinal notations for termination proofs, and diagnosis and repair heuristics for compiler error messages.