Talia Ringer

Talia Ringer
Talia Ringer
Assistant Professor
4218 Siebel Center for Comp Sci

For more information


How can we build a world in which programmers of all skill levels across all domains can prove the absence of costly or dangerous bugs in software systems---that is, formally verify them? I am an Assistant Professor with the PL/FM/SE group at Illinois, and I like to build proof engineering technologies to make that world a reality. In so doing, I love to use the whole toolbox---everything from dependent type theory to program transformations to neural proof synthesis---all in service of real humans.

Prior to Illinois, I earned my PhD in 2021 from the University of Washington, working with the wonderful PLSE group. Prior to graduate school, I earned my BS in Computer Science and Mathematics from the University of Maryland, then worked as a software engineer at Amazon for three years.

I am extremely passionate about building a welcoming environment for students. I am founder and chair of the SIGPLAN long-term mentoring committee (called SIGPLAN-M), an international long-term cross-institutional mentoring program for aspiring and current programming languages researchers spanning dozens of countries and reaching hundreds of mentees around the world. I am openly bisexual, and always happy to talk to LGBTQ students. I am also very open about my experiences with mental illness, and very happy to talk to anyone who needs an ear (though students should keep in mind that I am a mandatory reporter through Title IX).

Research Interests

  • Dependent Type Theory
  • Verification
  • Interactive Theorem Proving
  • Proof Automation
  • Proof Engineering


Articles in Conference Proceedings

Other Publications

Conferences Organized or Chaired

  • ICFP Mentoring Chair, 2020
  • ICFP Programming Languages Mentoring Workshop (PLMW) Co-Chair, 2020
  • SPLASH Hybridization Committee, 2021
  • Coq Workshop Co-Chair, 2022

Other Scholarly Activities

  • CAV Program Committee, 2021
  • PLDI Program Committee, 2022
  • ITP Program Committee, 2022

Professional Societies

  • ACM SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), Founder & Chair, 2021 - 2022

Service on Department Committees

  • CS CARES Committee, 2021-2022

Other Outside Service

  • ACM SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), Mentor, 2021-2022

Recent Courses Taught

  • CS 598 TLR - Proof Automation