Dr. Joseph Eremondi

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.