Dmitry Voronkov

URI: https://gptkb.org/entity/Dmitry_Voronkov
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instance_of gptkb:Person
gptkbp:affiliation gptkb:University_of_Manchester
gptkbp:alma_mater gptkb:Moscow_State_University
gptkbp:birth_place gptkb:Russia
gptkbp:field gptkb:computer_science
https://www.w3.org/2000/01/rdf-schema#label Dmitry Voronkov
gptkbp:known_for automated reasoning
gptkbp:nationality gptkb:Russian
gptkbp:notable_work Vampire theorem prover
gptkbp:occupation gptkb:Scientist
gptkbp:research_areas formal methods
gptkbp:bfsParent gptkb:SKA_Saint_Petersburg
gptkb:Vityaz_Podolsk
gptkb:Lokomotiv_Yaroslavl
gptkb:Soviet_Ice_Hockey_Championship
gptkb:Metallurg_Novokuznetsk
gptkbp:bfsLayer 5