This profile might be incomplete.
Open on mathstodon.xyz Joey EremondiHomepage:
GitHub:
Google Scholar:
dblp:
Personal infoAbout:
PL Researcher. Assistant Professor at the University of Regina. Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-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.
Wall No posts
No one has written anything here... Yet.
|