[41] Talia Ringer - Proof Repair

The Thesis Review ›

1:19:02 | Mar 30th, 2022

Talia Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at University of Illinois Urbana-Champaign. Her research focuses on formal verific...Show More