This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

🇨🇦 Joey Eremondi

@joey@mathstodon.xyz

Joined: 07/22/2023

672

Followers

731

Following
ProfileTrailsStatistics

About 🇨🇦 Joey Eremondi

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see eremondi.com/post/recruiting-g

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.

Lists

joey has no public lists

Timeline

joey has no activity yet