🇨🇦 Joey Eremondi

joey@mathstodon.xyz

<p>PL Researcher. Assistant Professor at the University of Regina. 🇨🇦</p><p>Currently recruiting grad students - see <a href="https://eremondi.com/post/recruiting-grad-2024/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">eremondi.com/post/recruiting-g</span><span class="invisible">rad-2024/</span></a></p><p>Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.</p><p>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.</p>