Moshe Y. Vardi

Moshe Y. Vardi is University Professor and the George Distinguish Service Professor in Computational Engineering at Rice University. 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, and the IEEE Computer Society Goode Award. He is the author and co-author of over 800 papers, as well as two books: "Reasoning about Knowledge" and "Finite Model Theory and Its Applications".  He is a Guggeheim Fellow, as well as Fellow of the American Mathematical Society, the Association for the Advancement of Artificial Intelligence, the Association for Computing Machinery, the Association for the Advancement of Artificial Intelligence, the American Association for the Advancement of Science, the Institute for Electrical and Electronic Engineers, and the Society for Industrial and Applied Mathematics. He is a member of the US National Academies of Science and of Engineering, the American Academy of Arts and Science, the Royal Society, the European Academy of Science, and Academia Europaea. He holds honorary titles from the Saarland University in Germany, Orleans University in France, UFRGS in Brazil, and the University of Liege in Belgium, the Technical University of Vienna, the University of Edinburgh, the University of Grenoble, the University of Gothenburg, East China Normal University, and the University of Calabria. He is Senior Editor of the Communications of the ACM, after having served for a decade as Editor-in-Chief. Vardi's interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications in computer science, including database theory, computational-complexity theory, multi-agent systems, computer-aided verification, constraint solving, and teaching logic across the curriculum.