Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Moshe_Vardi> ?p ?o }
- Moshe_Vardi abstract "Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) is an Israeli computer scientist. He is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He dabbles in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.Moshe Y. Vardi is the author of over 400 technical papers as well as the editor of several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is also the editor-in-chief of Communications of the ACM.".
- Moshe_Vardi almaMater Bar-Ilan_University.
- Moshe_Vardi almaMater Hebrew_University_of_Jerusalem.
- Moshe_Vardi almaMater Weizmann_Institute_of_Science.
- Moshe_Vardi award Gödel_Prize.
- Moshe_Vardi birthDate "1954-07-04".
- Moshe_Vardi birthName "Moshe Ya'akov Vardi".
- Moshe_Vardi birthPlace Haifa.
- Moshe_Vardi birthPlace Israel.
- Moshe_Vardi birthYear "1954".
- Moshe_Vardi thumbnail Moshe_Vardi_IMG_0010.jpg?width=300.
- Moshe_Vardi wikiPageExternalLink ~vardi.
- Moshe_Vardi wikiPageID "12067215".
- Moshe_Vardi wikiPageLength "7847".
- Moshe_Vardi wikiPageOutDegree "61".
- Moshe_Vardi wikiPageRevisionID "705822285".
- Moshe_Vardi wikiPageWikiLink Academia_Europaea.
- Moshe_Vardi wikiPageWikiLink American_Association_for_the_Advancement_of_Science.
- Moshe_Vardi wikiPageWikiLink Association_for_Computing_Machinery.
- Moshe_Vardi wikiPageWikiLink Association_for_the_Advancement_of_Artificial_Intelligence.
- Moshe_Vardi wikiPageWikiLink Bar-Ilan_University.
- Moshe_Vardi wikiPageWikiLink Category:1954_births.
- Moshe_Vardi wikiPageWikiLink Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science.
- Moshe_Vardi wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Moshe_Vardi wikiPageWikiLink Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Moshe_Vardi wikiPageWikiLink Category:Formal_methods_people.
- Moshe_Vardi wikiPageWikiLink Category:Guggenheim_Fellows.
- Moshe_Vardi wikiPageWikiLink Category:Gödel_Prize_laureates.
- Moshe_Vardi wikiPageWikiLink Category:Hebrew_University_of_Jerusalem_alumni.
- Moshe_Vardi wikiPageWikiLink Category:IBM_Research_computer_scientists.
- Moshe_Vardi wikiPageWikiLink Category:IBM_employees.
- Moshe_Vardi wikiPageWikiLink Category:Israeli_computer_scientists.
- Moshe_Vardi wikiPageWikiLink Category:Israeli_editors.
- Moshe_Vardi wikiPageWikiLink Category:Israeli_science_writers.
- Moshe_Vardi wikiPageWikiLink Category:Living_people.
- Moshe_Vardi wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Moshe_Vardi wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Moshe_Vardi wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Moshe_Vardi wikiPageWikiLink Category:People_from_Haifa.
- Moshe_Vardi wikiPageWikiLink Category:Rice_University_faculty.
- Moshe_Vardi wikiPageWikiLink Common_knowledge_(logic).
- Moshe_Vardi wikiPageWikiLink Communications_of_the_ACM.
- Moshe_Vardi wikiPageWikiLink Complexity_of_constraint_satisfaction.
- Moshe_Vardi wikiPageWikiLink Computer_science.
- Moshe_Vardi wikiPageWikiLink Database_theory.
- Moshe_Vardi wikiPageWikiLink European_Academy_of_Sciences.
- Moshe_Vardi wikiPageWikiLink Finite-state_machine.
- Moshe_Vardi wikiPageWikiLink Guggenheim_Fellowship.
- Moshe_Vardi wikiPageWikiLink Gödel_Prize.
- Moshe_Vardi wikiPageWikiLink Haifa.
- Moshe_Vardi wikiPageWikiLink Hebrew_University_of_Jerusalem.
- Moshe_Vardi wikiPageWikiLink IBM_Almaden_Research_Center.
- Moshe_Vardi wikiPageWikiLink Institute_for_Scientific_Information.
- Moshe_Vardi wikiPageWikiLink Israel.
- Moshe_Vardi wikiPageWikiLink Joseph_Halpern.
- Moshe_Vardi wikiPageWikiLink Model_checking.
- Moshe_Vardi wikiPageWikiLink Multi-agent_system.
- Moshe_Vardi wikiPageWikiLink National_Academy_of_Engineering.
- Moshe_Vardi wikiPageWikiLink National_Academy_of_Sciences.
- Moshe_Vardi wikiPageWikiLink Offshoring.
- Moshe_Vardi wikiPageWikiLink P_versus_NP_problem.
- Moshe_Vardi wikiPageWikiLink Paris_Kanellakis_Award.
- Moshe_Vardi wikiPageWikiLink Rice_University.
- Moshe_Vardi wikiPageWikiLink Ronald_Fagin.
- Moshe_Vardi wikiPageWikiLink Saarland_University.
- Moshe_Vardi wikiPageWikiLink Stanford_University.
- Moshe_Vardi wikiPageWikiLink Temporal_logic.
- Moshe_Vardi wikiPageWikiLink United_States.
- Moshe_Vardi wikiPageWikiLink University_of_Orléans.
- Moshe_Vardi wikiPageWikiLink Weizmann_Institute_of_Science.
- Moshe_Vardi wikiPageWikiLink Yoram_Moses.
- Moshe_Vardi wikiPageWikiLinkText "Moshe Vardi".
- Moshe_Vardi wikiPageWikiLinkText "Vardi".
- Moshe_Vardi almaMater Bar-Ilan_University.
- Moshe_Vardi almaMater Hebrew_University_of_Jerusalem.
- Moshe_Vardi almaMater Weizmann_Institute_of_Science.
- Moshe_Vardi awards Gödel_Prize.
- Moshe_Vardi birthDate "1954-07-04".
- Moshe_Vardi birthName "Moshe Ya'akov Vardi".
- Moshe_Vardi birthPlace Israel.
- Moshe_Vardi dateOfBirth "1954-07-04".
- Moshe_Vardi doctoralAdvisor "Catriel Beeri".
- Moshe_Vardi name "Professor Moshe Vardi".
- Moshe_Vardi name "Vardi, Moshe Y.".
- Moshe_Vardi placeOfBirth Haifa.
- Moshe_Vardi shortDescription "American computer scientist".
- Moshe_Vardi thesisTitle "The Implication Problem for Data Dependencies in the Relational Model".
- Moshe_Vardi thesisYear "1981".
- Moshe_Vardi wikiPageUsesTemplate Template:Authority_control.
- Moshe_Vardi wikiPageUsesTemplate Template:Birth_date_and_age.
- Moshe_Vardi wikiPageUsesTemplate Template:EATCS_Award_laureates.
- Moshe_Vardi wikiPageUsesTemplate Template:Gödel_winners.
- Moshe_Vardi wikiPageUsesTemplate Template:Infobox_scientist.
- Moshe_Vardi wikiPageUsesTemplate Template:Kanellakis_Award_laureates.
- Moshe_Vardi wikiPageUsesTemplate Template:Lang-he.
- Moshe_Vardi wikiPageUsesTemplate Template:Persondata.
- Moshe_Vardi wikiPageUsesTemplate Template:Reflist.
- Moshe_Vardi wikiPageUsesTemplate Template:URL.
- Moshe_Vardi workplaces IBM_Almaden_Research_Center.
- Moshe_Vardi workplaces Rice_University.