Talia Ringer
Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.
Public Key
npub1vku3fe6ehffwyphmz04977g4h9v73ppgkzem3tnanp6pp4fkennqyvace4NIP-05 Address
TaliaRinger_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqsxtwg5uavm55hzqma386jl0y2mjk0gss5tpvac4e7esaqs65mvees8wjujdAuthor Public Key
npub1vku3fe6ehffwyphmz04977g4h9v73ppgkzem3tnanp6pp4fkennqyvace4