![@TaliaRinger@mathstodon.xyz avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/2a/5c/2a5c9e34c28b2ab9a7fb57a58f1fcc440231327cf9e770ab602a7f5d001af890.jpg)
![@TaliaRinger@mathstodon.xyz avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/2a/5c/2a5c9e34c28b2ab9a7fb57a58f1fcc440231327cf9e770ab602a7f5d001af890.jpg)
Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.