Category:Moshe Vardi

**Moshe Vardi**
	American computer scientist
	Upload media
	Wikipedia
Date of birth	4 July 1954; Haifa
Country of citizenship	United States;
Educated at	Hebrew University of Jerusalem (Doctor of Philosophy, computer science, –1981); Bar-Ilan University (Bachelor of Science, physics, computer science, –1974); Weizmann Institute of Science (Master of Science, computer science, –1980);
Doctoral advisor	Catriel Beeri;
Doctoral student	Erion Plaku; Deian Tabakov; Kuldeep S. Meel; Kristin Yvonne Rozier;
Occupation	computer scientist; engineer; university teacher; mathematician; logician;
Employer	IBM; Rice University (Rice University Department of Computer Science, 1993–); Stanford University (Stanford University Computer Science Department, postdoctoral researcher, 1981–1983);
Member of	Academia Europaea (AE section Informatics, 2007–); National Academy of Sciences (Member of the National Academy of Sciences of the United States, 2015–); American Academy of Arts and Sciences; American Association for the Advancement of Science (2002–); National Academy of Engineering; Association for the Advancement of Artificial Intelligence; Association for Computing Machinery (ACM Fellow, 2000–); Society for Industrial and Applied Mathematics (Fellow of the Society for Industrial and Applied Mathematics, 2015–); American Mathematical Society (Fellow of the American Mathematical Society, 2018–); European Academy of Sciences (2003–);
Award received	Guggenheim Fellowship (2005); Gödel Prize (2000); Paris Kanellakis Award (2005); EATCS award (2012); Harry H. Goode Memorial Award (2011); SIGMOD Edgar F. Codd Innovations Award (2008); AAAI Fellow (2004); ACM Fellow (2000); Fellow of the American Mathematical Society (2019); Fellow of the American Association for the Advancement of Science; honorary doctor of the Saarland University (2002); Fellow of the Society for Industrial and Applied Mathematics (2015); Honorary doctor of the University of Liège (2017); ACM-AAAI Allen Newell Award (2020); honorary doctorate from University of Orléans (2002); honorary doctorate of University Grenoble-Alpes (2019); Alonzo Church Award (2026); Alonzo Church Award (2018); Alonzo Church Award (2018); Herbrand Award (2023);
	official website
Authority file
	Q1585964; ISNI: 0000000110595149; VIAF cluster ID: 42887943; GND ID: 128383275; Library of Congress Authorities ID: n87943650; Bibliothèque nationale de France ID: 17294163g; IdRef ID: 075531518; NL CR AUT ID: uk2009539263; Nationale Thesaurus voor Auteursnamen ID: 074181947; BIBSYS ID: 90123970; NUKAT ID: n98017297; J9U entity ID: 987007434147905171; NACSIS-CAT author ID: DA03059520; Open Library ID: OL2951973A; ORCID iD: 0000-0002-0661-5773; Mathematics Genealogy Project ID: 56451
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Media in category "Moshe Vardi"

The following 8 files are in this category, out of 8 total.

2012-06-15 Turing Centenary Celebration - Moshe Vardi.jpg 1,200 × 1,500; 527 KB
Moshe Vardi (GIPSy 2011) a.jpg 4,502 × 3,002; 7.28 MB
Moshe Vardi (GIPSy 2011) b.jpg 3,390 × 3,390; 7.11 MB
Moshe Vardi IMG 0010.jpg 2,986 × 2,348; 855 KB
Moshe Vardi IMG 0055.jpg 3,522 × 2,348; 1.34 MB
Moshe Vardi.jpg 2,720 × 4,080; 5.7 MB
Vardi IMG 2387.jpg 3,223 × 2,149; 1.05 MB
Moshe Y. Vardi FLoC 2006.jpg 640 × 432; 126 KB