Krishnendu Chatterjee

URI: https://gptkb.org/entity/Krishnendu_Chatterjee
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkb:Indian_Statistical_Institute
gptkbp:awardReceived gptkb:ERC_Consolidator_Grant
gptkb:ERC_Starting_Grant
gptkbp:doctoralAdvisor gptkb:Thomas_A._Henzinger
gptkbp:employer gptkb:Institute_of_Science_and_Technology_Austria
gptkbp:field gptkb:theoretical_computer_science
automata theory
formal verification
algorithmic game theory
gptkbp:nationality gptkb:Indian
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:Thomas_Henzinger
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label Krishnendu Chatterjee