Shows
Abstract SynthesisSymbolic Linear Temporal Logic over Finite Traces Synthesis - Moshe VardiMoshe Vardi, Professor at Rice University and one of the most influential figures in logic, verification, and theoretical computer science, discusses his paper “Symbolic LTLf Synthesis”.This conversation explores how Linear Temporal Logic over finite traces (LTLf) provides a more practical and scalable foundation for program and controller synthesis, especially compared to classical approaches based on infinite executions. The discussion traces the deep theoretical roots of synthesis in logic, automata, and games, while connecting them to modern challenges in AI, planning, and autonomy.Moshe shares the origin story of the...
2026-01-051h 16
L'IA aujourd'hui !L'IA aujourd'hui épisode du 2025-11-12Bonjour et bienvenue dans le podcast de l'IA par l’IA qui vous permet de rester à la page !Aujourd’hui : l’IA au bord des données avec le “lakeside AI”, un bug de ChatGPT qui a fuité jusque dans Google Search Console, Bluesky et un débat neurosymbolique, Meta qui dote sa pub d’un modèle géant, et les pertes record d’OpenAI.D’abord, un rappel qui bouscule les idées reçues : la réussite de l’IA dépend moins de la quantité de données que de leur qualité et de leur gouvernance. Beaucoup d’entreprises fonction...
2025-11-1206 min
Baker Briefing87: America’s AI Strategy Is Falling Short We’re in a new era of discovery in the history of artificial intelligence, but rapid advances in the technology are also bringing major risks. Moshe Vardi, a leading expert in computational engineering and Baker Institute fellow, joins the podcast to discuss the ethical and strategic choices on AI facing the U.S. amid its competition with China and the unintended consequences of outsourcing our thinking to machines.
Mentioned in this episode:
Moshe Vardi, “Big Tech, You Need Academia. Speak Up!,” Communications of the ACM 68, no. 5 (2025): 5, https://dl.acm.org/doi/10.1145/3727870.
This conversation was reco...
2025-05-0541 min
Disseminate: The Computer Science Research PodcastHigh Impact in Databases with... Moshe VardiWelcome to another episode of the High Impact series - today we talk with Moshe Vardi! Moshe is the Karen George Distinguished Service Professor in Computational Engineering at Rice University where his research focuses on automated reasoning. Tune in to hear Moshe's story and learn about some of his most impactful work.The podcast is proudly sponsored by Pometry the developers behind Raphtory, the open source temporal graph analytics engine for Python and Rust.You can find Moshe on X, LinkedIn, and Mastadon @vardi. Links to all his work can...
2024-06-0347 min
The ThinkND PodcastSoc(AI)ety Seminars, Part 3: Technology and DemocracyU.S. society is in the throes of deep societal polarization that not only leads to political paralysis, but also threatens the very foundations of democracy. The phrase “The Disunited States of America” is often mentioned. Other countries are displaying similar polarization. How did we get here? What went wrong?In this talk, distinguished Israeli mathematician and computer scientist, Moshe Vardi, will argue that the current state of affairs is the result of the confluence of two tsunamis that have unfolded over the past 40 years. On one hand, there was the tsunami of technology — from the in...
2024-05-2948 min
Hajiaghayi PodcastLive of Prof Hajiaghayi & Prof. Moshe Vardi on Logic and its CS Applications Very Glad to announce this Sun Feb 19, 11AM ET, I, Prof. Mohammad Hajiaghayi of UMD, will have a live discussion with Prof. Moshe Vardi of Rice University who is a pioneer in logic, complexity, and algorithms. Prof. Moshe Vardi @vardi has authored over 700 papers, two books, and holds eight honorary doctorates. He is the recipient of several scientific awards, a fellow of several societies and member of several honorary academies. He is a Senior Editor of Communications of the ACM, and has received Guggenheim, Kanellakis, Godel, and Knuth Prizes (see his wiki page https://en.wikipedia.org/wiki/Moshe...
2023-02-192h 30
Immigrant Computer ScientistsPunched Cards!Episode 42. Punched Cards! Three technologists (all of whom have been both Profs and worked in industry) talk about their experience with early computing and punched cards while in their college in the 1960s-80s. Features immigrants from Israel and Brazil. Featuring: Moshe Vardi, Rico Malvar, Tal Rabin. Remix Episode from Seasons 1 & 2.
2022-09-0724 minImmigrant Computer ScientistsAlternate RealitiesEpisode 41. Alternate Realities. If you're an immigrant to the US/Canada, have you ever wondered, "What would my life have been like if I'd instead been born and grown up in US/Canada?" I asked seven accomplished and prominent immigrant Computer Scientists (from academia, industry, entrepreneurs) this question. Featuring: Regina Barzilay, Tal Rabin, Ion Stoica, Rada Mihalcea, Thamar Solorio, Moshe Vardi, Ricardo Baeza-Yates. Remix Episode from Season 2.
2022-08-1725 min
Functional GeekeryEpisode 141 - Shriram Krishnamurthi
In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more.
Our Guest, Shriram Krishnamurthi
ShriramKMurthi on Twittershriram on Githubcs.brown.edu/~sk/ Shriram’s University of Brown Pageparentheticallyspeaking.org Shriram’s Blog/Essaysblog.brownplt.org Brown PLT Blog
Announcements
Strange Loop 2022 is taking place September 23rd and 24th in St. Louis, Missouri. Visit thestrangeloop.com to keep up to date and...
2022-07-191h 19Immigrant Computer ScientistsRandom Ways to Start ResearchEpisode 39. Random Ways to Start Research. Five distinguished Computer Scientists talk about the role that random chance played in getting them started with research itself or their specific research area. Featuring: Rada Mihalcea, Tal Rabin, Regina Barzilay, Moshe Vardi, Thamar Solorio. Remix Episode from Season 2.
2022-07-0621 min
Soul Searching#76 Moshe Vardi | Problems & Progress in AI - Automation in Job Market - Role of College Eductionfeedback @ decentmakeover13@gmail.com
2022-05-2456 min
Immigrant Computer ScientistsMoshe Vardi InterviewEpisode 29: Interview with Moshe Vardi. Professor of Computer Science at Rice University. Winner of Gödel Prize (2000), and Knuth Prize (2021). ACM Fellow, IEEE Fellow, AAAS Fellow, AAAI Fellow, AMS Fellow, EATCS Fellow, Guggenheim Fellow. Member of NAE, NAS, and EAS. Topics include: Moshe's childhood and college years in Israel, Fighting in two of Israel's wars (1970s, 1980s), Computing Revolution in the 1960s and 70s, Comparing Industry vs. Academia, and A clarion call to the Computing Community to change the way we view ourselves. And much more! Immigrant from Israel in 1981.
2022-03-161h 40
Immigrant Computer ScientistsFrom IsraelEpisode 27: Three distinguished technologists share their experiences of growing up in Israel, of immigrating reluctantly to the US, of fighting in wars, and differences in culture. Three guests who include a Gödel Prize winner, 2 ACM Fellows, 2 AAAI Fellows, 2 AAAS Fellows, a MacArthur (Genius) Grant winner, and a cancer survivor. Featuring: Tal Rabin (Prof, UPenn and Algorand Foundation), Moshe Vardi (Prof, Rice U.), Regina Barzilay (Prof, MIT). Topics include: Kibbutz upbringing, ancestry, persecution, war, language, culture, research beginnings that are chance, computing in 1960s/70s/80s, surviving cancer, impostor syndrome, and alternate life paths.
2022-03-022h 23
Macular ChatsGeographic Atrophy: A Possible New Treatment (October 2021)he event featured experts including Moshe Vardi, Vice President and Global Medicine Team Lead at Alexion Pharmaceuticals, and Aleksandar Skuban, MD, Executive Medical Director for Neurology and Ophthalmology Clinical Development and Translational Sciences at Alexion Pharmaceuticals, Inc. Dr. Vardi explained the role of the immune system as it relates to GMD, or geographical atrophy. Dr. Skuban talked about studies being done to determine efficacy of new treatments, including danicopan, for GMD.
2021-11-0833 min
Formal bytes: The Axiomise Podcast ChannelEpisode 49: A fireside chat with Prof. Moshe Vardi - Part 2How can we make teaching formal methods more effective? What is the relationship between SQL and first-order logic? We used logic to design computers, now we use computers to perform logic reasoning, so is there a relation between machine learning and logic? How does a human brain perform reasoning? Is machine learning and logic the answer to all the major questions facing society? How do incomplete information and statistical bias fit into this? What does risk assessment mean? Tune in to our latest podcast to hear what Prof. Vardi has to say about these topics.
2021-08-1746 minFormal bytes: The Axiomise Podcast ChannelEpisode 48: A fireside chat with Prof. Moshe Vardi - Part 1This week Dr Darbari talks to Prof. Moshe Vardi - one of the best-known names in computing and formal methods. In the first of the two episodes, we trace Moshe's journey from his early years and talk about logic, applications of logic to law, NP-complete problems, ENIAC, John von Neumann, John Backus, compilers, semantics, abstractions, descriptions. Moshe shares fascinating accounts of chat with Ed Clarke and the history of LTL, CTL, SVA and PSL. Find out why model checking works. Thank you very much, Moshe, for taking time out to talk to us.
2021-08-0334 min
Risk RoundupCOVID-19 Pandemic: Efficiency Versus ResilienceMoshe Y. Vardi, a George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University based in the United States, participates in Risk Roundup to discuss the Lessons from COVID-19 Pandemic: Efficiency Versus Resilience. Lessons From COVID-19: Efficiency Versus Resilience The COVID-19 outbreak reminds us of […]
2020-09-231h 21Risk RoundupCOVID-19 Pandemic: Efficiency Versus ResilienceMoshe Y. Vardi, a George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University based in the United States, participates in Risk Roundup to discuss the Lessons from COVID-19 Pandemic: Efficiency Versus Resilience. Lessons From COVID-19: Efficiency Versus Resilience The COVID-19 outbreak reminds us of […]
The post COVID-19 Pandemic: Efficiency Versus Resilience appeared first on Risk Group.
2020-09-231h 21
AWS Podcast#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe VardiProvable Security: Conversations on Next Gen Security. We published a podcast (https://aws.amazon.com/podcasts/aws-podcast/#266) on provable security (https://aws.amazon.com/security/provable-security/) last fall, and, due to high customer interest, we decided to bring you a regular peek into this AWS initiative. This series will cover how the traditionally academic field of automated reasoning is being applied at AWS at scale to help provide higher assurances for our customers, regulators, and the broader cloud industry. We’ll talk to individuals whose minds helped shape the history of automated reasoning, as well as learn from engineers and sc...
2019-04-0343 min
The STEMPunX PodcastSPX12 Artificial IntelligenceThird in our short-format podcasts, Joe visits with STEMPunX intern Beck about her upcoming surgery using the da Vinci System. This robotic apparatus "features a magnified 3D high-definition vision system and tiny wristed instruments that bend and rotate far greater than the human hand." Is an autonomous robot next? Will surgeons even be necessary? STEMBoT allude to the possibility. Show Links:The da Vinci System represents the latest in surgical and robotics technologies.What is AI? Ten things you need to know about the future of artificial intelligence.Moshe Vardi of Rice University says most jobs...
2019-03-2007 min
The STEMPunX PodcastSPX12 Artificial Intelligence
Third in our short-format podcasts, Joe visits with STEMPunX intern Beck about her upcoming surgery using the da Vinci System. This robotic apparatus "features a magnified 3D high-definition vision system and tiny wristed instruments that bend and rotate far greater than the human hand." Is an autonomous robot next? Will surgeons even be necessary? STEMBoT alludes to the possibility.
Show Links:
The da Vinci System represents the latest in surgical and robotics technologies.
What is AI? Ten things you need to know about the future of artificial intelligence.
Moshe Vardi...
2019-03-2007 min
Talking MachinesNatural vs Artificial Intelligence and Doing Unexpected WorkIn season four episode three of Talking Machines we chat about Neil’s recent thinking (definitely not work) on the core differences between natural intelligence and machine intelligence, he recently wrote blog post on the subject and in the fall of 2017 he gave a TedX talk about the topic. We also take a listener question about what maths you should take to get into building ML tools. Our guests this week are Moshe Vardi, Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University and Margaret Levi Dir...
2018-03-0859 min
Talking MachinesNatural vs Artificial Intelligence and Doing Unexpected WorkIn season four episode three of Talking Machines we chat about Neil’s recent thinking (definitely not work) on the core differences between natural intelligence and machine intelligence, he recently wrote blog post on the subject and in the fall of 2017 he gave a TedX talk about the topic. We also take a listener question about what maths you should take to get into building ML tools. Our guests this week are Moshe Vardi, Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University and Margaret Levi Dir...
2018-03-0858 min
Software Engineering Radio - the podcast for professional software developersSE-Radio Episode 298: Moshe Vardi on P versus NPFelienne talks with Moshe Vardi about P versus NP. Why is this problem so central to computer science? Are we close to solving it? Is it necessary to solve it? Progress toward computing hard problems efficiently with SAT solvers. How SAT solvers work,; applications of SAT like formal verification.
2017-07-2550 minSoftware Engineering Radio - the podcast for professional software developersSE-Radio Episode 298: Moshe Vardi on P versus NPFelienne talks with Moshe Vardi about P versus NP. Why is this problem so central to computer science? Are we close to solving it? Is it necessary to solve it? Progress toward computing hard problems efficiently with SAT solvers. How SAT solvers work,; applications of SAT like formal verification.
2017-07-2550 minSoftware Engineering Radio - The Podcast for Professional Software DevelopersSE-Radio Episode 298: Moshe Vardi on P versus NPFelienne talks with Moshe Vardi about P versus NP. Why is this problem so central to computer science? Are we close to solving it? Is it necessary to solve it? Progress toward computing hard problems efficiently with SAT solvers. How SAT solvers work,; applications of SAT like formal verification.
2017-07-2550 min
Ada Lovelace Symposium - Celebrating 200 Years of a Computer VisionaryHumans, machines, and the future of workMoshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?".
2015-12-1839 minAda Lovelace Symposium - Celebrating 200 Years of a Computer VisionaryHumans, machines, and the future of workMoshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?".
2015-12-1839 min