gptkbp:instanceOf
|
gptkb:computer_scientist
|
gptkbp:almaMater
|
gptkb:Hebrew_University_of_Jerusalem
gptkb:Hebrew_Reali_School
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Bower_Award_and_Prize_for_Achievement_in_Science
gptkb:Gödel_Prize
gptkb:AAAI_Fellow
gptkb:Knuth_Prize
gptkb:EATCS_Fellow
|
gptkbp:birthDate
|
1954
|
gptkbp:birthPlace
|
gptkb:Haifa
|
gptkbp:citizenship
|
gptkb:Israel
gptkb:United_States
|
gptkbp:doctoralAdvisor
|
gptkb:Saharon_Shelah
|
gptkbp:editor
|
gptkb:Communications_of_the_ACM
|
gptkbp:employer
|
gptkb:Rice_University
|
gptkbp:field
|
gptkb:artificial_intelligence
computer science
database theory
logic in computer science
|
https://www.w3.org/2000/01/rdf-schema#label
|
Moshe Vardi
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering
gptkb:European_Academy_of_Sciences
|
gptkbp:nationality
|
gptkb:American
gptkb:Israeli
|
gptkbp:notableStudent
|
gptkb:Helmut_Veith
gptkb:Nir_Piterman
gptkb:Orna_Kupferman
gptkb:Thomas_Wilke
|
gptkbp:notableWork
|
gptkb:logic
gptkb:finite_model_theory
database theory
model checking
descriptive complexity
|
gptkbp:occupation
|
gptkb:professor
|
gptkbp:position
|
Karen Ostrum George Distinguished Service Professor in Computational Engineering
|
gptkbp:bfsParent
|
gptkb:Richard_M._Karp
|
gptkbp:bfsLayer
|
4
|