✨
AI Summary
- Talia Ringer discusses using proof engineering for formally verified software.
- She is an Assistant Professor at the University of Illinois.
- The goal is to make building verified software systems easier.
The Gradient: Perspectives on AI