This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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