Talia Ringer

Registered user since Wed 28 Jun 2017

Name:Talia Ringer
Bio:

I am an incoming assistant professor at University of Illinois at Urbana-Champaign. My main interest is in making program verification using interactive theorem provers more accessible through better proof engineering tools and practices, especially when it comes to maintaining proofs as programs change over time. My vision is a future of verification that is accessible to all programmers, not just to experts. I got my Ph.D. from University of Washington in June 2021, where I was an NSF GRFP fellow and a P.E.O fellow. Prior to graduate school, I earned my bachelor’s in mathematics and computer science from University of Maryland, then worked at Amazon as a software engineer for three years. I am the founder and chair of the SIGPLAN-M mentoring program, and a contributor to the Coq interactive theorem prover.

Oh, and I am currently looking for students! Please apply!

Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website:https://dependenttyp.es
Research interests:Verification, Proof Engineering, Dependent Type Theory

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Hybridization Co-Chair in Organizing Committee
PLDI 2021 Author of Proof Repair across Type Equivalences within the PLDI-track
HATRA 2020 Committee Member in Program Committee within the HATRA-track
PLMW @ ICFP 2020 Committee Member in Organizing Committee within the PLMW @ ICFP 2020-track
Organizer of Welcome within the PLMW @ ICFP 2020-track
ICFP 2021 Speaker of Ask Me Anything on Mentoring with Talia Ringer within the Social Events-track
ICFP 2020 Organizer in Organizing Committee within the Mentoring-track
Mentoring Chair in Organizing Committee
CPP 2020 Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
POPL 2020 Organizing Chair in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
CoqPL 2019 Committee Member in Program Committee within the CoqPL-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2018 Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2017 Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track