Talia Ringer

Talia Ringer is an Assistant Professor at the University of Illinois Urbana-Champaign, and a Public Voices Fellow of The OpEd Project and the University of Illinois system. Their award-winning work makes it easier to write machine-checkable proofs about both software and mathematics.