Talia Ringer

Registered user since Wed 28 Jun 2017

Name: Talia Ringer

Bio: Talia Ringer is a PhD candidate in programming languages at University of Washington. Her 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. Her vision is a future of verification that is accessible to all programmers, not just to experts. She believes that this will help make software more reliable and secure. In addition to her own contributions to this end, she has authored a 120-page survey of proof engineering. Prior to graduate school, she earned her bachelor’s in mathematics and computer science from University of Maryland, then worked at Amazon as a software engineer for three years. She is an NSF GRFP fellow and a contributor to the Coq interactive theorem prover. She is active in advising, mentorship, service, and outreach.

Country: United States

Affiliation: University of Washington

Personal website: http://tlringer.github.io/

Research interests: Verification, Proof Engineering


PLMW @ ICFP 2020Committee Member in Organizing Committee within the PLMW @ ICFP 2020-track
CPP 2020Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
POPL 2020Organizing Chair in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
CoqPL 2019Committee Member in Program Committee within the CoqPL-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2018Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2017Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track