Moshe Vardi

9 Podcast Episodes

#76 Moshe Vardi | Problems & Progress in AI - Automation in Job Market - Role of College Eduction

#76 Moshe Vardi | Problems & Progress in AI - Automation in Job Market - Role of College Eduction

feedback @ decentmakeover13@gmail.com--- Send in a voice message: https://podcasters.spotify.com/pod/show/ryandsouza/mes... Read more

24 May 2022

56mins

Moshe Vardi Interview

Moshe Vardi Interview

Episode 29: Interview with Moshe Vardi. Professor of Computer Science at Rice University. Winner of Gödel Prize (2000), ... Read more

16 Mar 2022

1hr 40mins

Similar People

Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2

Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2

How can we make teaching formal methods more effective? What is the relationship between SQL and first-order logic? We u... Read more

17 Aug 2021

46mins

Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1

Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1

This week Dr Darbari talks to Prof. Moshe Vardi - one of the best-known names in computing and formal methods. In the fi... Read more

3 Aug 2021

34mins

Most Popular

#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi

#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi

Provable Security: Conversations on Next Gen Security. We published a podcast (https://aws.amazon.com/podcasts/aws-podca... Read more

3 Apr 2019

43mins

Moshe Vardi on publication pressures, student stress, mid-career mentoring & societal obligations

Moshe Vardi on publication pressures, student stress, mid-career mentoring & societal obligations

See http://www.changingacademiclife.com/blog/2019/3/31/moshe-vardi for a time-stamped overview of the conversation and r... Read more

1 Apr 2019

51mins

Moshe Vardi (Part 1) on social implications of technology & our responsibility as academics

Moshe Vardi (Part 1) on social implications of technology & our responsibility as academics

See http://www.changingacademiclife.com/blog/2019/3/19/moshe-vardi-part1 for a time-stamped overview of the conversation... Read more

19 Mar 2019

54mins

Ethics of AI: Moshe Vardi,The Ethical Crisis in Computing?

Ethics of AI: Moshe Vardi,The Ethical Crisis in Computing?

Ethics of AI: Moshe Vardi,The Ethical Crisis in Computing? by Centre for Ethics, University of Toronto

5 Oct 2018

51mins

1/18/18 - 'Miracles have happened' (Moshe Vardi joins Glenn)

1/18/18 - 'Miracles have happened' (Moshe Vardi joins Glenn)

Hour 1 ‘Miracles have happened’?...Apple to hire 20,000 Americans?...job creation, tech investments = a better economy..... Read more

18 Jan 2018

1hr 52mins

“Podium: AI tools for podcasters. Generate show notes, transcripts, highlight clips, and more with AI. Try it today at https://podium.page”