Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2
Yet Another Science Podcast by Joseph Scott
S1 · E2
Apr 21, 2023
01:34:33
Episode notes
GUEST LINKS: Clark's Website: https://theory.stanford.edu/~barrett/Clark's Linkedin: https://www.linkedin.com/in/clark-bar... PODCAST INFO: Podcast Website: https://www.yasppodcast.com/ Podcast Twitter: https://twitter.com/yasp_podcast