Talia Ringer
Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.
website: https://dependenttyp.es
website: https://dependenttyp.es
Public Key
npub1h2yzmr4wgqmehn9fwz0y0tjjh3rwngzpmv6vw6n9gkzv3k0u78zqxh3xekNIP-05 Address
taliaringer_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqst4zpd36hyqdumej5hp8j84eftc3hf5pqakdx8dfj5tpxgm870r3qprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntfsk6f6Publishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1h2yzmr4wgqmehn9fwz0y0tjjh3rwngzpmv6vw6n9gkzv3k0u78zqxh3xek