Moshe Y. Vardi
Rice University
|
Primary Section: 34, Computer and Information Sciences Membership Type:
Member
(elected 2015)
|
Biosketch
Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the recipient of several awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award. He is the author and co-author of over 650 papers, as well as two books. He is a fellow of several societies, and a member of several academies, including the US National Academy of Engineering and National Academy of Science. He holds seven honorary doctorates. He is a Senior Editor of the Communications of the ACM, the premier publication in computing.
Research Interests
Vardi's research interested focus on the interface between mathematical logic and computing, including automated reasoning, database systems, computational-complexity theory, multi-agent systems, and design specification and verification.
