Skip to content

 

Fellows Directory

Moshe Vardi

Moshe Vardi

Professor Moshe Y. Vardi ForMemRS

Foreign Member


Elected: 2023

Contact:

Twitter@vardi

wwwhttp://www.cs.rice.edu/~vardi

ORCID0000-0002-0661-5773

Biography

Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focuses on the interface of mathematical logic and computation - including database theory, hardware/software design and verification, multi-agent systems, and constraint satisfaction.  He is the recipient of several awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Knuth Prize, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award.  He is the author and co-author of over 700 papers, as well as two books. He is a Guggenheim Fellow as well as fellow of several societies, and a member of several academies, including the US National Academy of Engineering and National Academy of Science.  He holds eight honorary doctorates.  He is a Senior Editor of the Communications of the ACM, the premier publication in computing.

Professional positions

University Professor and George Distinguished Service Professor in Computational Engineering, Department of Computer Science, Rice University

Interest and expertise

Subject groups

  • Computer sciences
    • Artificial intelligence, machine learning, vision, Databases, Programming languages and verification
  • Other
    • Science policy
Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.