undefined

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.
App store bannerPlay store banner
Get the app