Joey Eremondi
PL postdoc. Currently a Newton International Fellow at the University of Edinburgh. Soon to be Assistant Prof. at University of Regina, starting July 2024. Formerly 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.
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.
Public Key
npub1hmg4lu7a8yq5hsascg3x28gw4gf8f43pmtm9clhlxlcemtcg2hysf5uwacNIP-05 Address
joey_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqsta52l70wnjq2tcwcvygn9r5825yn56csa4aju0mln0uva4uy9tjgtppn55Author Public Key
npub1hmg4lu7a8yq5hsascg3x28gw4gf8f43pmtm9clhlxlcemtcg2hysf5uwac