all AI news
Talia Ringer: Formal Verification and Deep Learning
The Gradient Podcast thegradientpub.substack.com
In episode 74 of The Gradient Podcast, Daniel Bashir speaks to Professor Talia Ringer.
Professor Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at the University of Illinois at Urbana Champaign. Their research leverages proof engineering to allow programmers to more easily build formally verified software systems.
Have suggestions for future podcast guests (or other feedback)? Let us know here or reach us at editor@thegradient.pub
Subscribe to The Gradient Podcast: Apple Podcasts | …
assistant daniel deep learning engineering gradient languages podcast professor programmers programming programming languages research software software engineering systems university verification