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
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
#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