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, the ACM SIGLOG Church Award, the Knuth Prize, the ACM Allen Newell Award, and IEEE Norbert Wiener Award for Social and Professional Responsibility. He is the author and co-author of over 700 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 Asia-Pacific Artificial Intelligence Association, the Association for the Advancement of Artificial Intelligence, the Association for Computing Machinery, 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 Royal Society of London, the European Academy of Science, and Academia Europaea. He holds eight honorary doctorates. He is currently a Senior Editor of the Communications of the ACM, after having served for a decade as Editor-in-Chief.