Talia Ringer

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

For More Information

Education

  • University of Washington, Ph.D. in Computer Science, 2021
  • University of Maryland, College Park, B.S. in Mathematics and Computer Science, 2012

Biography

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 also the founder and president of the Computing Connections Fellowship, a fellowship that provides institution-independent transitional funding for computer science Ph.D. students who need help escaping unhealthy environments.

I am openly bisexual and prefer they/them pronouns; I am 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).

Academic Positions

  • Assistant Professor, University of Illinois, 2021-Present

Other Professional Employment

  • Visiting Researcher at Google Research (N2Formal), Summer 2022
  • Research Scientist Intern at Amazon (Automated Reasoning Group), Summer 2016
  • Software Development Engineer II at Amazon (Amazon Business), 2012 – 2015

Professional Highlights

  • Proof repair, the subject of my PhD thesis, has since been reimplemented by researchers and engineers at Amazon and NASA, and adapted to the languages they use. It is also the subject of a DARPA AI Exploration called PEARLS, a grant for which I am primary PI.

Research Interests

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

Monographs

Selected Articles in Journals

Articles in Conference Proceedings

Pending Articles

Invited Lectures

  • Concrete Problems in Proof Automation
  • You and Your Environment
  • Proof Repair Across Type Equivalences
  • Proof Engineering Tools for a New Era

Other Publications

Conferences Organized or Chaired

  • Beyond Bayes: Paths Towards Universal Reasoning Systems Workshop Co-Chair, ICML 2022
  • Coq Workshop Co-Chair, FLoC 2022
  • SPLASH Hybridization Committee, 2021
  • ICFP Programming Languages Mentoring Workshop (PLMW) Co-Chair, 2020
  • ICFP Mentoring Chair, 2020
  • POPLmark 15 Year Retrospective Panel Lead Organizer, 2020

Other Scholarly Activities

  • TYPES Program Committee, 2022
  • ITP Program Committee, 2022
  • PLDI Program Committee, 2022
  • CAV Program Committee, 2021
  • AIPLANS Program Committee, 2021
  • HATRA Program Committee, 2020
  • Mathematical Structures in Computer Science Reviewer, 2020
  • CoqPL Program Committee, 2019
  • CAV Artifact Evaluation Committee, 2019
  • POPL Artifact Evaluation Committee, 2018, 2019

Professional Societies

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

Service on Department Committees

  • CS CARES Committee, 2021-2022

Service on Campus Committees

  • Mental Health Ambassador

Other Outside Service

  • Computing Connections Fellowship Fund, Founder & President, 2022-Present
  • ACM SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), Mentor, 2021-Present

Improvement Activities

  • Collins Scholar Program, 2022

Recent Courses Taught

  • CS 598 TLR - Proof Automation