|
gptkbp:instanceOf
|
gptkb:person
|
|
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:ACM_SIGMOD_Edgar_F._Codd_Innovations_Award
gptkb:EATCS_Fellow
American Academy of Arts and Sciences membership
National Academy of Engineering membership
|
|
gptkbp:birthDate
|
1954
|
|
gptkbp:birthPlace
|
gptkb:Haifa
|
|
gptkbp:citizenship
|
gptkb:Israel
gptkb:United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:David_Harel
gptkb:Catriel_Beeri
|
|
gptkbp:editor
|
gptkb:Communications_of_the_ACM
|
|
gptkbp:employer
|
gptkb:Rice_University
|
|
gptkbp:field
|
gptkb:artificial_intelligence
automata theory
computer science
database theory
logic in computer science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Moshé Vardi
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:American_Association_for_the_Advancement_of_Science
gptkb:Association_for_Computing_Machinery
gptkb:National_Academy_of_Engineering
gptkb:European_Academy_of_Sciences
|
|
gptkbp:nationality
|
gptkb:American
gptkb:Israeli
|
|
gptkbp:notableStudent
|
gptkb:Helmut_Veith
gptkb:Orna_Kupferman
gptkb:Thomas_Wilke
|
|
gptkbp:notableWork
|
gptkb:logic
gptkb:finite_model_theory
database theory
model checking
automata on infinite objects
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:position
|
University Professor
Karen Ostrum George Distinguished Service Professor in Computational Engineering
|
|
gptkbp:bfsParent
|
gptkb:Royal_Society_Milner_Award
|
|
gptkbp:bfsLayer
|
5
|