GUEST LINKS: Clark's Website: <a href="https://theory.stanford.edu/~barrett/">https://theory.stanford.edu/~barrett/</a>Clark's Linkedin: <a href="https://www.linkedin.com/in/clark-bar">https://www.linkedin.com/in/clark-bar</a>... PODCAST INFO: Podcast Website: <a href="https://www.yasppodcast.com/">https://www.yasppodcast.com/</a> Podcast Twitter: <a href="https://twitter.com/yasp_podcast">https://twitter.com/yasp_podcast</a>

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

GUEST LINKS: Clark's Website: <a href="https://theory.stanford.edu/~barrett/" rel="noopener noreferrer">https://theory.stanford.edu/~barrett/</a>Clark's Linkedin: <a href="https://www.linkedin.com/in/clark-bar" rel="noopener noreferrer">https://www.linkedin.com/in/clark-bar</a>... PODCAST INFO: Podcast Website: <a href="https://www.yasppodcast.com/" rel="noopener noreferrer">https://www.yasppodcast.com/</a> Podcast Twitter: <a href="https://twitter.com/yasp_podcast" rel="noopener noreferrer">https://twitter.com/yasp_podcast</a>

Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2

Yet Another Science Podcast (YASP) is a podcast devoted to conversations with scholars containing philosophical, historical, motivational, conceptual, and technical questions relating to their research.The goal of the podcast is two-fold: first, to provide an informal medium for researchers to discuss and philosophize about their work. Second, a medium for curious minds of various levels (motivated high school students to professors) to learn about your work from the first-person source.

Science

Technology

Yet Another Science Podcast (YASP) is a podcast devoted to conversations with scholars containing philosophical, historical, motivational, conceptual, and technical questions relating to their research. The goal of the podcast is two-fold: first, to provide an informal medium for researchers to discuss and philosophize about their work. Second, a medium for curious minds of various levels (motivated high school students to professors) to learn about your work from the first-person source.

Share Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2

Sign up to save your podcasts

Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2

Clark Barrett - Automated Reasoning, SMT Solvers, Artificial Intelligence • YASP #2