Talia Ringer

Talia Ringer is an Assistant Professor at the University of Illinois at Urbana-Champaign, focusing on making program verification using interactive theorem provers more accessible through improved proof engineering tools and practices. Her research addresses challenges in maintaining proofs as programs evolve and advancing formal verification.

• Ph.D., University of Washington (2021), NSF GRFP and P.E.O. Fellow
• B.S., Mathematics and Computer Science, University of Maryland
• Former software engineer at Amazon

Her research interests include:

• Program Verification
• Proof Engineering
• Dependent Type Theory
• Interactive Theorem Provers (Coq)

Key trends in her publications include:

• Automated proof generation and repair using large language models
• Tool development for Coq and other proof assistants
• Formal verification of software and data structures
• Integration of identifiers and type equivalences in verification
• Test input generation for software reliability

Scientific awards and honors:

• NSF Graduate Research Fellowship Program (GRFP)
• P.E.O. Scholar Award

She has advised numerous researchers through her work and founded the SIGPLAN-M Mentoring Program and Computing Connections Fellowship. No specific student names are listed in the scraped text.