, University Professor and Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, has been awarded an honorary doctorate by the Université Grenoble Alpes
In a ceremony held Nov. 26 at the university, Vardi was recognized for his “significant contributions in four sectors of computer science: database theory, common knowledge, computer-aided verification and finite-model theory.”
Vardi joined the Rice faculty in 1993. He has co-authored two books and published more than 600 articles. He is a member of the U.S. National Academy of Engineering, the U.S. National Academy of Sciences and the American Academy of Arts and Sciences.
In addition to citing his technical accomplishments, the Université Grenoble Alpes praised Vardi’s “great interest in the societal impact of technologies, as well as the role of computer scientists in our societies.”
Vardi is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the European Association for Theoretical Computer Science, the Institute for Electrical and Electronic Engineers and the Society for
Industrial and Applied Mathematics. He is a foreign member of the European Academy of Science and Academia Europaea.
Vardi already holds honorary doctorates from Saarland University in Germany, Orleans University in France, the Federal University of Rio Grande do Sul in Brazil, the University of Liege in Belgium, the Vienna University of Technology in Austria and the University of Edinburgh in Scotland.