Moshe Y. Vardi

Rice University

Director, Ken Kennedy Institute for Information Technology

Moshe Y. Vardi is a Rice University Professor, an honor conveyed to few and selected individuals – only three have been given at Rice. He is a Distinguished Service Professor of Computational Engineering and Director of the Ken Kennedy Institute for Information Technology. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center. His research interests include database systems, computational-complexity theory, multi-agent systems, and design specification and verification. Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981. He is the author and co-author of over 600 articles, as well as two books, "Reasoning about Knowledge" and "Finite Model Theory and Its Applications", and the editor of several collections. Vardi has been awarded three IBM Outstanding Innovation Awards, the 2017 ACM Presidential Award, the 2018 ACM SIGLOG Church Award and many more. He holds honorary doctorates from the University of Saarland, the University of Orleans, UFRGS in Brazil, the University of Liege, the Technical University of Vienna, and the University of Edinburgh. He is a member of the US National Academy of Engineering, the National Academy of Science, the American Academy of Arts and Science, the European Academy of Sciences, and the Academia Europaea.