Talia Ringer
@TaliaRinger@mathstodon.xyz
Joined: 08/07/2023
About Talia Ringer
Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.
Lists
TaliaRinger has no public lists
Timeline
TaliaRinger has no activity yet