معرفی
Talia Ringer is an Assistant Professor at the University of Illinois Urbana-Champaign, affiliated with the Grainger College of Engineering and the Siebel School of Computing and Data Science. Her research focuses on proof engineering, formal verification, and bridging neural and symbolic proof automation. She holds a PhD in Computer Science from the University of Washington and a BS in Mathematics and Computer Science from the University of Maryland. Prior to academia, she worked at Amazon as a software engineer. Ringer is known for founding initiatives like SIGPLAN-M and the Computing Connections Fellowship, fostering inclusivity in computer science research. She has received prestigious awards including the 2023 ACM SIGPLAN Distinguished Service Award and the DARPA Young Faculty Award.
- Education: PhD, University of Washington (2021); BS, University of Maryland (2012)
- Research Areas: Dependent Type Theory, Verification, Interactive Theorem Proving, Proof Automation, Formal Methods
- Awards: ACM SIGPLAN Distinguished Service Award (2023), ESEC/FSE Distinguished Paper Award (2023), DARPA Young Faculty Award (2023)
Her work emphasizes making formal verification accessible to programmers through tools like Proof Repair and Baldur, while advocating for ethical AI research and LGBTQ+ inclusivity. She advises a diverse team of graduate and undergraduate students in the Illinois Theorem Provers (ITP) lab, exploring topics including proof repair, reinforcement learning for proofs, and quotient type equivalences.
