• Moshe Vardi -- Computer Science, Logic, Artificial Intelligence • YASP #1

  • Mar 13 2023
  • Length: 1 hr and 36 mins
  • Podcast

Moshe Vardi -- Computer Science, Logic, Artificial Intelligence • YASP #1

  • Summary

  • Moshe Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

    Show More Show Less

What listeners say about Moshe Vardi -- Computer Science, Logic, Artificial Intelligence • YASP #1

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.