POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Joseph Eremondi

Registered user since Tue 25 Sep 2018

Name:Joseph Eremondi
Bio:

Assistant Professor at the University of Regina starting 2024.

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

Country:Canada
Affiliation:University of Regina
Personal website: http://eremondi.com
Research interests:Programming Languages, Type Theory, Dependent Types, Gradual Types, Pattern Matching

Contributions

Show activities from other conferences

POPL 2024-profile
View general profile