The University of Gothenburg in Sweden has awarded Moshe Y. Vardi, University Professor and Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice, an honorary doctorate in information technology.
Vardi was recognized for his “contributions to the usage of logic in various fields in computer science. Most notably the logical theory of databases, reasoning about knowledge, the automata-theoretic approach to program verification, and finite-model theory.”
Vardi has for many years collaborated with Nir Piterman, a senior lecturer in computer science and engineering at the University of Gothenburg. They have worked together on applications of temporal logic to verification and reactive synthesis, automata theory, and applications of logic and verification to biological modelling.
Vardi joined the Rice faculty in 1993. He has co-authored two books and published more than 600 articles. According to Google Scholar, Vardi’s publications have been cited more than 50,700 times and his h-index is 107.
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. He has received Outstanding Innovation Awards from IBM, the Presidential Award from the Association for Computing Machinery (ACM), and ACM’s Edgar F. Codd Innovations Award.
Vardi is a Fellow of ACM, 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 also a foreign member of the European Academy of Science and Academia Europaea.
Vardi has been awarded seven other honorary doctorates from universities around the world.