Moshe Y. Vardi

Dr. Moshe Ya'akov Vardi is the Karen Ostrum George Professor in Computational Engineering at Rice University. He developed logic as a fundamental tool in computer science, providing both a unifying foundational framework and a tool for modeling computational systems, particularly in the areas of artificial intelligence, automata theory, computational complexity, database systems, distributed computing, and design specification and verification. His work in the logical theory of databases, extensive theory of reasoning about knowledge, finite-model theory, and other areas has found application in diverse fields, including economics, linguistics, and computer science. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award, and the Southeastern Universities Research Association’s Distinguished Scientist Award. He is the author and co-author of over 400 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the American Association for the Advancement of Science, and the Institute for Electrical and Electronic Engineers. He is a member of the US National Academy of Engineering, the American Academy of Arts and Science, the European Academy of Science, and Academia Europea.