Podcast appearances and mentions of moshe vardi

U.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 introduction of the IBM PC in 1981 to the current domination of public discourse by social media. On the other hand, there was a tsunami of neoliberal economic policies. Vardi will suggest that the combination of these two tsunamis led to both economic polarization and cognitive polarization.Thanks for listening! The ThinkND Podcast is brought to you by ThinkND, the University of Notre Dame's online learning community. We connect you with videos, podcasts, articles, courses, and other resources to inspire minds and spark conversations on topics that matter to you — everything from faith and politics, to science, technology, and your career. Learn more about ThinkND and register for upcoming live events at think.nd.edu. Join our LinkedIn community for updates, episode clips, and more.

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_Vardi for more details). We plan to have a YouTube Live @hajiaghayi, and simultaneously Live events on Instagram @mhajiaghayi, LinkedIn @Mohammad Hajiaghayi, Twitter @MTHajiaghayi, and Facebook @Mohammad Hajiaghayi on life, communication of ACM, and his research and teaching on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, Ph.D. advising, major open problems in the field, among others. Please join us on our simultaneous Lives at YouTube, Instagram, LinkedIn, Twitter, or Facebook and ask questions you may have.#computerscience,#CS,#logic,#database,#multiagent, #reasoning, #computeraided, #verification, administration,#CACM,#OpenProblems,#NationalAcademy,#PhDAdvising,#Hebrew,#Rice

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

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

feedback @ decentmakeover13@gmail.com Podcast Socials: Instagram - https://www.instagram.com/decentmakeover Twitter - https://twitter.com/decentmakeover

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

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.

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

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

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

Provable 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 scientists who are applying automated reasoning to help solve pressing security and privacy challenges in the cloud. In our first interview, Byron Cook, Director of the AWS Automated Reasoning Group, sits down with Moshe Vardi, Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology. Moshe describes the history of logic, automated reasoning, formal verification and his legendary moustache. Learn more at the AWS Provable Security webpage (https://aws.amazon.com/security/provable-security/). Automated reasoning public figures: George Boole https://en.wikipedia.org/wiki/George_Boole Tony Hoare https://en.wikipedia.org/wiki/Tony_Hoare Robert W. Floyd https://en.wikipedia.org/wiki/Robert_W._Floyd John McCarthy https://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist) Amir Pnueli https://en.wikipedia.org/wiki/Amir_Pnueli Gottlob Frege https://en.wikipedia.org/wiki/Gottlob_Frege Arthur Prior https://en.wikipedia.org/wiki/Arthur_Prior John Harrison https://www.cl.cam.ac.uk/~jrh13/ Automated techniques and algorithms: First-order logic https://en.wikipedia.org/wiki/First-order_logic Temporal logic https://en.wikipedia.org/wiki/Temporal_logic An Automata-Theoretic Approach to Automatic Program Verification https://orbi.uliege.be/bitstream/2268/116609/1/lics86.pdf Boolean satisfiability problem https://en.wikipedia.org/wiki/Boolean_satisfiability_problem Davis-Putnam algorithm https://en.wikipedia.org/wiki/Davis–Putnam_algorithm SAT Competition https://www.satcompetition.org/

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

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

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

In 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 Director of the Center for Advanced Study in the Behavioral Sciences(CASBS) at Stanford and Professor of Political Science, Stanford University, and Jere L. Bacharach Professor Emerita of International Studies in the Department of Political Science at the University of Washington. They co-organized a symposium put on by the American Academy of Arts and Sciences and the Royal Society about the future of work. We got a chance to speak to both of them about their work and the event.

Hour 1  ‘Miracles have happened’?...Apple to hire 20,000 Americans?...job creation, tech investments = a better economy... ‘Good Trump’ vs. ‘Bad Trump’…President Trump seems to be getting things done ...Hypocrisy on high: Democrats + DACA = Maddening…flashback to the infamous government shutdown… Glenn has some thoughts on ‘nonessential’ gov’t jobs ...The Eagles ‘Are America’? ...The media is stuck in 1972 ...the bitcoin bounce?...how are the Winklevoss twins involved in this? Stu explains   Hour 2  SCOTUS case is huge for free speech… Free abortions for all?...New California law requires pro-life clinics to promote 'free' abortions...Pro-life nonprofits to the rescue...saving babies from being murdered...things people don't want to think about ...Glenn issues a 'Don Imus Death Watch'?...he’d love to give the Don Imus eulogy ...Do gentlemen exist anymore?...Empowered to Helpless ...Voters say no to Oprah...testing a new campaign slogan?...Joe Biden = Cockroach...he just won't go away    Hour 3  Movies vs. Real Life?...Chinese spying threat grows ...Technology Regulations & Social Responsibility with Professor Moshe Vardi...the ghosts of automation's past?...Has life really changed that much in the last 20 years?...Automation of driving is going to be a very 'big thing,' but at a price. How will we cope? ...Only Democrats can prevent a government shutdown this time around… if only this argument about the budget were actually about the budget The Glenn Beck Program with Glenn Beck and Stu Burguiere, Weekdays 9am–12pm ET on TheBlaze Radio Learn more about your ad choices. Visit megaphone.fm/adchoices

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.   Related Links TU Eindhoven P […]

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.

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