Moshe Y. Vardi - Short Biographical Sketch
Moshe Y. Vardi is a University Professor and
the George Distinguished Service Professor in Computational Engineering
at Rice University.
He is the 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, the
IEEE Computer Society Goode Award, the EATCS Distinguished Achievements
Award, the Southeastern Universities Research Association's Distinguished
Scientist Award, and the ACM SIGLOG Church Award. He is the author and
co-author of over 650 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 of the Communications of the ACM, after having served for a
decade as Editor-in-Chief.