Talia Ringer
An Assistant Professor specializing in formal verification and proof engineering technologies.
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
Get the app