Joseph Eremondi
Assistant Professor
Contact Info
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.
Courses taught
CS 350, CS 115
Education
PhD University of British Columbia
MSc Universiteit Utrecht
BSc University of Saskatchewan