Moshe Vardi
Moshe Ya'akov Vardi | |
|---|---|
| Born | Israel |
| Occupation(s) | Theoretical computer scientist, professor |
| Years active | 1981–present |
| Known for | Model checking, constraint satisfaction problems, database theory, common knowledge logic, theoretical computer science |
| Notable work | Reasoning About Knowledge; Finite Model Theory and Its Applications |
Moshe Ya'akov Vardi () is a prominent Israeli theoretical computer scientist, currently holding the Karen Ostrum George Distinguished Service Professorship in Computational Engineering at Rice University in the United States.[1] Additionally, he acts as a faculty advisor for the Ken Kennedy Institute.Cite error: The opening <ref> tag is malformed or has a bad name His scholarly work primarily explores the intersection of logic and computer science, encompassing areas such as database theory, finite model theory, multi-agent systems, computer-aided verification, and logic instruction. Vardi is widely acknowledged for his proficiency in model checking, constraint satisfaction problems, database theory, common knowledge logic, and broader theoretical aspects of computer science.[2]Cite error: The opening <ref> tag is malformed or has a bad name
With a prolific output exceeding 700 research articles and numerous edited volumes,[3] Vardi’s influential works include Reasoning About Knowledge[4] co-authored with Ronald Fagin, Joseph Halpern, and Yoram Moses, as well as Finite Model Theory and Its Applications[5] alongside Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He serves as senior editor for Communications of the ACM and previously held the position of editor-in-chief at the journal for a decade.Cite error: The opening <ref> tag is malformed or has a bad name
Education
Vardi undertook his undergraduate education at Bar-Ilan University before obtaining a Master of Science degree from the Weizmann Institute of Science. He completed his doctoral studies under the supervision of Catriel Beeri at the Hebrew University of Jerusalem, earning his PhD in 1981.
Career and research
His academic pursuits concentrate on the fields of logic and computational theory. Between 1994 and 2002, Vardi led the computer science department at Rice University. Prior to joining Rice, he was affiliated with IBM Research and conducted postdoctoral research at Stanford University. Vardi has also contributed editorial expertise to multiple international scientific journals and held a directorial role at the International Federation of Computational Logic Ltd. Furthermore, he co-led the ACM task force addressing job migration issues.
Awards and honors
Among his accolades are three IBM Outstanding Innovation Awards, the 2000 Gödel Prize awarded for contributions to temporal logic combined with finite automata, the 2021 Knuth Prize, the 2005 Paris Kanellakis Award, and the 2006 LICS Test-of-Time Award. He has been honored with ACM Presidential Awards in both 2008 and 2017, received the 2008 Blaise Pascal Medal in computational science from the European Academy of Sciences, the Computing Research Association’s Distinguished Service Award in 2010, and the IEEE Computer Society’s 2011 Harry H. Goode Memorial Award. Additional distinctions include the 2018 ACM SIGLOG Distinguished Services Award and recognition by EATCS, EACSL, and KGS through the Alonzo Church Award (shared with Tomas Feder).
Vardi has been conferred honorary doctorates by eight institutions:
- Saarland University, Germany
- University of Orléans
- Grenoble Alpes University (UGA), France
- Federal University of Rio Grande do Sul (UFRGS), Brazil
- University of Liège, Belgium
- TU Wien, Austria
- University of Edinburgh, Scotland
- University of Gothenburg, Sweden
He is a recipient of fellowships from Guggenheim Foundation, ACM, AAAI, American Association for the Advancement of Science, and holds Foreign Membership in the Royal Society (ForMemRS). Recognized as a highly cited researcher by the Institute for Scientific Information, Vardi is also an elected member of prestigious organizations including the US National Academy of Engineering, National Academy of Sciences, European Academy of Sciences, and Academia Europaea. In 2010 he became a Fellow of the American Academy of Arts and Sciences. In 2019, he was inducted into the American Mathematical Society Fellows for his significant contributions to mathematical logic within computer science.
Personal life
Vardi resides in the Houston metropolitan region, more precisely in Bellaire, Texas, together with his spouse Pamela Geyer. His stepson, Aaron Hertzmann, works as a computer scientist at Adobe Research.
- ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedprofilerice - ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedacm - ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedgs - ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedrak - ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedfmtaia