# Moshe Vardi

I migliori episodi di podcast
Aggiornato:

87: 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 …

Efficiency, Resilience, & Robustness With Moshe Vardi - 77th Conversation

Moshe Vardi (🔗, 🔗, 🔗), the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, and a multi-award-winning force in theoretical computer science, joins Michael and Dave in a wide-ranging conversation about robustness and resilience in computer science,…

SE Radio 298: Moshe Vardi on P versus NP

Felienne 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.

Humans, machines, and the future of work

Moshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?".

Symbolic Linear Temporal Logic over Finite Traces Synthesis - Moshe Vardi

Moshe 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 sc…

Humans, machines, and the future of work

Moshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?".

AI Will Take Our Jobs But SPARE Our Lives —Top AI Professor Moshe Vardi (Rice University)

Professor Moshe Vardi thinks AI will kill us with kindness by automating away our jobs. I think they'll just kill us for real. Who’s right? Tune into this episode and decide where you get off the Doom Train™. Some highlights of Professor Vardi’s impressive CV: * University Professor at Rice — a rar…

Why We Must NEVER Give AI Human Rights (Before It's Too Late) - Prof. Moshe Vardi

In this episode of Business Talk, hosted by Deepak, guest Professor Moshe Vardi, Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, and 2026 National Academy of Artificial Intelligence Academy Award laureate, delves into the profound intersection of…

Is AI Actually Going to Kill Us All? - Prof. Moshe Vardi - #55

Moshe Y. Vardi is a University Professor at Rice University and one of the most decorated computer scientists alive, a member of the National Academy of Sciences, the National Academy of Engineering and the Royal Society, with more than 800 papers to his name. This episode was recorded days after A…

Prof. Moshe Vardi of Rice on the World Wide Web, AI, Computer Science and Funded Research

Scientific Sense ® by Gill Eapen: Prof. Moshe Vardi is Professor of Computer Science at Rice University, His research interests include logic, automated reasoning, database theory, and theoretical computer science. He is also a former Editor-in-Chief of Communications of the ACM (Association of Com…