ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 06:30 - 07:00 at Social - Ask Me Anything Chair(s): Hanneli Tavante

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!

Thu 26 Aug

Displayed time zone: Seoul change

06:30 - 07:00
Ask Me AnythingSocial Events at Social
Chair(s): Hanneli Tavante McGill University
06:30
30m
Live Q&A
Ask Me Anything on Mentoring with Talia Ringer
Social Events
Talia Ringer University of Illinois at Urbana-Champaign