Talia Ringer

Registered user since Wed 28 Jun 2017

Name:Talia Ringer
Bio:

I am an Assistant Professor at University of Illinois Urbana-Champaign. My main interest is in making program verification using interactive theorem provers more accessible through better proof engineering tools and practices, especially when it comes to maintaining proofs as programs change over time. My vision is a future of verification that is accessible to all programmers, not just to experts. I got my Ph.D. from University of Washington in June 2021, where I was an NSF GRFP fellow and a P.E.O fellow. Prior to graduate school, I earned my bachelor’s in mathematics and computer science from University of Maryland, then worked at Amazon as a software engineer for three years. I am the founder and previous chair of the SIGPLAN-M mentoring program, the founder and president of the Computing Connections Fellowship, and a contributor to the Coq interactive theorem prover.

Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: https://dependenttyp.es
Research interests:Verification, Proof Engineering, Dependent Type Theory

Contributions