avatar

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