ACERCA DE ESTE EPISODIO
Moshe Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
Inglés
Estados Unidos
TRANSCRIPCIÓN 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
BUSCAR EPISODIOS ANTERIORES
Buscar episodios anteriores de Yet Another Science Podcast.
OTROS EPISODIOS EN ESTE PODCAST
Yejin Choi is a Professor at the School of Computer Science & Engineering at the University of Washington and also a senior research director at AI2. She received her doctorate in Computer Science at Cornell University and bachelor's in Computer Science and Engineering at Seoul National Univers…
Timestamps 0:00 Intro 1:04 What if a Computer Could Program Itself? 7:50 Automatically Programming with Different Forms of Reasoning 12:48 Neruosymbolic Computing, Continuous vs. Discrete AI 19:28 How did you find this Problem? 23:43 Program Synthesis 31:38 Who Inspired You? 35:41 Overview of Sketc…
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
Descargo de responsabilidad: El podcast y el arte incluidos en esta página son de Joseph Scott, que es propiedad de su propietario y no está afiliado ni respaldado por Listen Notes, Inc.
EDITAR
Gracias por ayudar a mantener actualizada la base de datos de podcasts.
