Moshe Vardi
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS[5] is an Israeli theoretical computer scientist.He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States.He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.He has authored the books Reasoning About Knowledge[11] with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications[12] with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein.[2] He served as chair of the computer science department at Rice University from January 1994 until June 2002.
ForMemRSHebrewBar-Ilan UniversityWeizmann Institute of ScienceHebrew University of JerusalemACM FellowGödel PrizeAAAI FellowParis Kanellakis AwardHarry H. Goode Memorial AwardMember of the National Academy of SciencesKnuth PrizeComputationRice UniversityIBM ResearchStanford UniversityThesisDoctoral advisorKristin Yvonne Roziertheoretical computer scientistdatabase theoryfinite model theorymulti-agent systemsmodel checkingconstraint satisfaction and database theorycommon knowledge (logic)theoretical computer scienceRonald FaginJoseph HalpernYoram MosesPhokion G. KolaitisLeonid LibkinJoel SpencerCommunications of the ACMeditor-in-chiefMaster of Sciencepostdoctoral researcherAssociation for Computing Machinerytask forcejob migrationtemporal logicfinite automataACM Special Interest Group for Logic and ComputationEuropean Association for Theoretical Computer ScienceAlonzo Churchhonorary doctoratesSaarland UniversityUniversity of OrléansGrenoble Alpes UniversityFederal University of Rio Grande do SulUniversity of LiègeTU WienUniversity of EdinburghUniversity of GothenburgGuggenheim FellowFellowAmerican Association for the Advancement of ScienceForeign Member of the Royal SocietyInstitute for Scientific InformationNational Academy of EngineeringNational Academy of SciencesAcademia EuropaeaAmerican Academy of Arts and SciencesAmerican Mathematical SocietyHoustonBellaire, Texascomputer scientistAdobe ResearchGoogle ScholarMathematics Genealogy ProjectWinslett, MarianneVardi, M. Y.George R. Brown School of EngineeringAssociation for the Advancement of Artificial IntelligenceGoldwasserMicaliRackoffHåstadImmermanSzelepcsényiJerrumSinclairHalpernWolperLovászMotwaniSzegedySénizerguesFreundSchapireHerlihyShavitZaharoglouMatiasAgrawalSaxenaRazborovRudichSpielmanReingoldVadhanWigdersonMitchellKoutsoupiasPapadimitriouRoughgardenÉ. TardosFranklinO'HearnMcSherryNissimG. TardosBrakerskiGentryVaikuntanathanParis Kanellakis Theory and Practice AwardAdlemanDiffieHellmanMerkleRivestShamirLempelBryantClarkeEmerson