Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Moshe_Y._Vardi> ?p ?o. }
- Moshe_Y._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 is a renowned expert 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_Y._Vardi almaMater Bar-Ilan_University.
- Moshe_Y._Vardi almaMater Hebrew_University_of_Jerusalem.
- Moshe_Y._Vardi almaMater Weizmann_Institute_of_Science.
- Moshe_Y._Vardi birthDate "1954-07-04".
- Moshe_Y._Vardi birthName "Moshe Ya'akov Vardi".
- Moshe_Y._Vardi birthPlace Haifa.
- Moshe_Y._Vardi birthYear "1954".
- Moshe_Y._Vardi thumbnail Moshe_Vardi_IMG_0010.jpg?width=300.
- Moshe_Y._Vardi viafId "42887943".
- Moshe_Y._Vardi wikiPageExternalLink rices-moshe-y-vardi-elected-fellow-of-american-academy-of-arts-and-sciences.
- Moshe_Y._Vardi wikiPageExternalLink rices-moshe-vardi-honored-as-distinguished-service-professor.
- Moshe_Y._Vardi wikiPageExternalLink ~vardi.
- Moshe_Y._Vardi wikiPageID "12067215".
- Moshe_Y._Vardi wikiPageRevisionID "599289921".
- Moshe_Y._Vardi almaMater Bar-Ilan_University.
- Moshe_Y._Vardi almaMater Hebrew_University_of_Jerusalem.
- Moshe_Y._Vardi almaMater Weizmann_Institute_of_Science.
- Moshe_Y._Vardi birthDate "1954-07-04".
- Moshe_Y._Vardi birthName "Moshe Ya'akov Vardi".
- Moshe_Y._Vardi birthPlace Haifa.
- Moshe_Y._Vardi dateOfBirth "1954-07-04".
- Moshe_Y._Vardi doctoralAdvisor "Catriel Beeri".
- Moshe_Y._Vardi hasPhotoCollection Moshe_Y._Vardi.
- Moshe_Y._Vardi name "Professor Moshe Vardi".
- Moshe_Y._Vardi name "Vardi, Moshe Y.".
- Moshe_Y._Vardi placeOfBirth Haifa.
- Moshe_Y._Vardi shortDescription "American computer scientist".
- Moshe_Y._Vardi thesisTitle "The Implication Problem for Data Dependencies in the Relational Model".
- Moshe_Y._Vardi thesisYear "1981".
- Moshe_Y._Vardi workplaces IBM_Almaden_Research_Center.
- Moshe_Y._Vardi workplaces Rice_University.
- Moshe_Y._Vardi workplaces Stanford_University.
- Moshe_Y._Vardi description "American computer scientist".
- Moshe_Y._Vardi description "American computer scientist".
- Moshe_Y._Vardi subject Category:1954_births.
- Moshe_Y._Vardi subject Category:Fellows_of_the_American_Association_for_the_Advancement_of_Science.
- Moshe_Y._Vardi subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Moshe_Y._Vardi subject Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Moshe_Y._Vardi subject Category:Formal_methods_people.
- Moshe_Y._Vardi subject Category:Guggenheim_Fellows.
- Moshe_Y._Vardi subject Category:Gödel_Prize_laureates.
- Moshe_Y._Vardi subject Category:Hebrew_University_of_Jerusalem_alumni.
- Moshe_Y._Vardi subject Category:IBM_employees.
- Moshe_Y._Vardi subject Category:Israeli_computer_scientists.
- Moshe_Y._Vardi subject Category:Israeli_editors.
- Moshe_Y._Vardi subject Category:Israeli_science_writers.
- Moshe_Y._Vardi subject Category:Living_people.
- Moshe_Y._Vardi subject Category:Members_of_Academia_Europaea.
- Moshe_Y._Vardi subject Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Moshe_Y._Vardi subject Category:People_from_Haifa.
- Moshe_Y._Vardi subject Category:Rice_University_faculty.
- Moshe_Y._Vardi type Acquirer109764201.
- Moshe_Y._Vardi type AmericanBookEditors.
- Moshe_Y._Vardi type AmericanComputerScientists.
- Moshe_Y._Vardi type AmericanPeopleOfIsraeliDescent.
- Moshe_Y._Vardi type AmericanScienceWriters.
- Moshe_Y._Vardi type Associate109816771.
- Moshe_Y._Vardi type CausalAgent100007347.
- Moshe_Y._Vardi type Colleague109935990.
- Moshe_Y._Vardi type Communicator109610660.
- Moshe_Y._Vardi type ComputerScientist109951070.
- Moshe_Y._Vardi type ComputerUser109951274.
- Moshe_Y._Vardi type Editor110044879.
- Moshe_Y._Vardi type Employee110053808.
- Moshe_Y._Vardi type FellowsOfTheAmericanAssociationForTheAdvancementOfScience.
- Moshe_Y._Vardi type FellowsOfTheAssociationForComputingMachinery.
- Moshe_Y._Vardi type FellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence.
- Moshe_Y._Vardi type FormalMethodsPeople.
- Moshe_Y._Vardi type G%C3%B6delPrizeLaureates.
- Moshe_Y._Vardi type GuggenheimFellows.
- Moshe_Y._Vardi type Honoree110183757.
- Moshe_Y._Vardi type IBMEmployees.
- Moshe_Y._Vardi type IsraeliComputerScientists.
- Moshe_Y._Vardi type Laureate110249011.
- Moshe_Y._Vardi type LivingPeople.
- Moshe_Y._Vardi type LivingThing100004258.
- Moshe_Y._Vardi type Object100002684.
- Moshe_Y._Vardi type Organism100004475.
- Moshe_Y._Vardi type Peer109626238.
- Moshe_Y._Vardi type Person100007846.
- Moshe_Y._Vardi type PhysicalEntity100001930.
- Moshe_Y._Vardi type Recipient109627906.
- Moshe_Y._Vardi type Scientist110560637.
- Moshe_Y._Vardi type SkilledWorker110605985.
- Moshe_Y._Vardi type Whole100003553.
- Moshe_Y._Vardi type Worker109632518.
- Moshe_Y._Vardi type Writer110794014.
- Moshe_Y._Vardi type YagoLegalActor.
- Moshe_Y._Vardi type YagoLegalActorGeo.
- Moshe_Y._Vardi type Agent.
- Moshe_Y._Vardi type Person.
- Moshe_Y._Vardi type Scientist.
- Moshe_Y._Vardi type Person.
- Moshe_Y._Vardi type Q215627.
- Moshe_Y._Vardi type Q5.
- Moshe_Y._Vardi type Agent.
- Moshe_Y._Vardi type NaturalPerson.
- Moshe_Y._Vardi type Thing.
- Moshe_Y._Vardi type Person.