|
gptkbp:instanceOf
|
gptkb:computer_scientist
gptkb:mathematician
|
|
gptkbp:almaMater
|
gptkb:Moscow_State_University
|
|
gptkbp:awardReceived
|
gptkb:Gödel_Prize
gptkb:EMS_Prize
gptkb:Rolf_Nevanlinna_Prize
|
|
gptkbp:birthDate
|
1963-02-16
|
|
gptkbp:birthPlace
|
gptkb:Moscow
|
|
gptkbp:citizenship
|
gptkb:Russia
gptkb:United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:Sergei_Adian
|
|
gptkbp:doctoralStudent
|
gptkb:Alexander_Shen
Dmitry Itsykson
|
|
gptkbp:field
|
gptkb:mathematics
theoretical computer science
combinatorics
proof complexity
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Alexander Razborov
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Russian_Academy_of_Sciences
|
|
gptkbp:nationality
|
gptkb:American
gptkb:Russian
|
|
gptkbp:notableWork
|
communication complexity
proof complexity
flag algebras
monotone circuit lower bounds
|
|
gptkbp:occupation
|
gptkb:professor
gptkb:researchers
|
|
gptkbp:workInstitution
|
gptkb:University_of_Chicago
gptkb:Steklov_Mathematical_Institute
|
|
gptkbp:bfsParent
|
gptkb:Institute_for_Information_Transmission_Problems
gptkb:Sobolev_Institute_of_Mathematics
|
|
gptkbp:bfsLayer
|
6
|