Biography
Moshe Y. Vardi is a University Professor and the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University. He holds 10 honorary titles from universities around the world. He is currently a Senior Editor of the Communications of the ACM, after having served for a decade as Editor-in-Chief.
He is the author and co-author of over 600 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is a Fellow of the American Association for the Advancement of Science, the American Mathematical Society 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 member of the US National Academy of Engineering and National Academy of Science, the American Academy of Arts and Science, the European Academy of Science, and Academia Europaea.
He holds seven honorary doctorates. He is currently a Senior Editor of the Communications of the ACM, after having served for a decade as Editor-in-Chief.
Fellowships
- American Association for the Advancement of Science
- American Mathematical Society
- Association for Computing Machinery
- European Association for Theoretical Computer Science
- Institute for Electrical and Electronics Engineers
- Society for Industrial and Applied Mathematics
- Royal Society of London
Academy Memberships
- National Academy of Engineering
- National Academy of Sciences
- American Academy of Arts and Sciences
- European Academy of Sciences
- Academia Europaea