Registered user since Wed 28 Jun 2017
Talia Ringer is an incoming assistant professor at University of Illinois at Urbana-Champaign. 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. She got her Ph.D. from University of Washington in June 2021, where she was an NSF GRFP fellow and a P.E.O fellow. 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 the founder and chair of the SIGPLAN-M mentoring program, and a contributor to the Coq interactive theorem prover.
Oh, and she is currently looking for students! Please apply!
|SPLASH 2021||Hybridization Co-Chair in Organizing Committee|
|Show activities from other conferences|