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