Talia Ringer (Preferred)
Talia Ringer
Assistant Professor, University of Illinois, Urbana Champaign
- Joined October 2021
Names
Emails
****@dependenttyp.es (Confirmed)
, ****@illinois.edu (Confirmed)
Personal Links
Education & Career History
Assistant Professor
University of Illinois, Urbana Champaign (illinois.edu)
2021 – Present
Visiting Researcher
Research, Google (research.google.com)
2022 – 2023
PhD student
University of Washington (washington.edu)
2015 – 2021
Undergrad student
University of Maryland, College Park (umd.edu)
2008 – 2012
Advisors, Relations & Conflicts
Coauthor
Emily First
Present
Expertise
proof assistants
Present
proof automation
Present
proof engineering
Present
programming languages
Present
proof synthesis
Present
type theory
Present
dependent types
Present
compilers
Present
proof repair
Present
proof reuse
Present
Coq
Present
neurosymbolic methods
Present