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 Types
  • Type Theory
  • Verification
  • Interactive Theorem Proving
  • Proof Automation
  • Proof Engineering


Articles in Conference Proceedings

Professional Societies

  • ACM SIGPLAN Long-Term Mentoring Committee: Founder & Chair

Related News


Load more news