TUNGKOL SA EPISODE NA ITO
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.
Ingles
Estados Unidos
KOPYA NG SALIN 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
I-SEARCH ANG MGA NAKARAANG EPISODE
I-search ang mga nakaraang episode ng Yet Another Science Podcast.
IBA PANG MGA EPISOD SA PODCAST NA ITO
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
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…
Paunawa: Ang podcast at artwork na naka-embed sa page na ito ay mula sa Joseph Scott, na pag-aari ng may-ari nito at hindi kaakibat o ineendorso ng Listen Notes, Inc.
I-EDIT
Salamat sa pagtulong na mapanatiling naka-update ang database ng podcast.
