Moshe Y. Vardi

Moshe Y. Vardi is a University Professor and the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University. He holds dual appointments in the Computer Science Department, the Ken Kennedy Institute for Information Technology, and is a Fellow for Science and Technology Policy at the Baker Institute. His research spans automated reasoning, computational complexity, formal verification, and the societal impact of technology.

Education:

• PhD in Computer Science, Hebrew University of Jerusalem (1981)
• MSc in Computer Science, Weizmann Institute of Science (1980)
• BSc in Physics and Computer Science, Bar-Ilan University (1974)

Research Interests: Moshe's work integrates theoretical foundations with practical applications. He pioneered advancements in automated reasoning, database theory, and formal verification. His recent focus includes the ethical implications of AI, technology governance, and the societal consequences of automation. He authored influential books like Reasoning About Knowledge and Finite Model Theory and Its Applications.

Notable Achievements:

• Recipient of the Knuth Prize, ACM Allen Newell Award, and IEEE Norbert Wiener Award
• Member of the US National Academies of Sciences and Engineering
• Fellow of the ACM, AAAS, and numerous scientific societies
• Editor-in-Chief Emeritus of Communications of the ACM
• Lead the Rice Initiative on Technology, Culture, and Society

Grants & Leadership: He directed Rice's Computer Science Department (1994–2002) and the Ken Kennedy Institute (2001–2019). His leadership spans interdisciplinary projects on AI ethics, tech policy, and resilience engineering. Current initiatives include postdoctoral programs in sociotechnical systems and global tech governance.

Labs & Teams: He collaborates with the Ken Kennedy Institute, Baker Institute Policy Program, and leads the Technology Ethics Research Group at Rice. His lab focuses on formal methods, AI ethics, and societal impact analysis.