Moshe Vardi — SPARQNOW

At-a-Glance

Recipient of the ACM SIGACT Goedel Prize, ACM Kanellakis Award, ACM SIGMOD Codd Award, Blaise Pascal Medal, IEEE Computer Society Goode Award, EATCS Distinguished Achievements Award, and ACM SIGLOG Church Award.
University Professor and George Distinguished Service Professor in Computational Engineering at Rice University.
Director of the Ken Kennedy Institute for Information Technology at Rice University.
Author and co-author of over 750 papers and two books: 'Reasoning about Knowledge' and 'Finite Model Theory and Its Applications'.
Member of the US National Academy of Engineering, National Academy of Science, American Academy of Arts and Science, Royal Society of London, European Academy of Science, and Academia Europaea.
Fellow of the American Association for the Advancement of Science, American Mathematical Society, Association for Computing Machinery, American Association for Artificial Intelligence, European Association for Theoretical Computer Science, Institute for Electrical and Electronic Engineers, and Society for Industrial and Applied Mathematics.

Biography

Moshe Y. Vardi is a University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He also serves as the Director of the Ken Kennedy Institute for Information Technology. A theoretical computer scientist, Vardi is recognized for his extensive contributions to the field, evidenced by his authorship and co-authorship of over 750 papers and two books, 'Reasoning about Knowledge' and 'Finite Model Theory and Its Applications'.