Yuri Gurevich

URI: https://gptkb.org/entity/Yuri_Gurevich

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Moscow_State_University
gptkbp:awardReceived	gptkb:Blaise_Pascal_Medal gptkb:EATCS_Award
gptkbp:birthYear	1946
gptkbp:citizenship	gptkb:Russia gptkb:United_States
gptkbp:employer	gptkb:Microsoft_Research
gptkbp:fieldOfWork	gptkb:theoretical_computer_science gptkb:complexity_theory gptkb:logic algorithm theory
gptkbp:knownFor	gptkb:finite_model_theory computational logic abstract state machines
gptkbp:memberOf	gptkb:Association_for_Computing_Machinery gptkb:European_Academy_of_Sciences
gptkbp:nationality	gptkb:American gptkb:Russian
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:bfsParent	gptkb:Gurevich
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Yuri Gurevich