Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Andrei_Voronkov> ?p ?o }
- Andrei_Voronkov abstract "Andrei A. Voronkov is a Professor of Formal methods in the School of Computer Science at the University of Manchester.".
- Andrei_Voronkov almaMater Novosibirsk_State_University.
- Andrei_Voronkov award CADE_ATP_System_Competition.
- Andrei_Voronkov birthDate "1959".
- Andrei_Voronkov birthName "Andrei A. Voronkov".
- Andrei_Voronkov birthYear "1959".
- Andrei_Voronkov field Formal_methods.
- Andrei_Voronkov knownFor EasyChair.
- Andrei_Voronkov knownFor Vampire_(theorem_prover).
- Andrei_Voronkov thumbnail Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg?width=300.
- Andrei_Voronkov wikiPageExternalLink andrei.voronkov.
- Andrei_Voronkov wikiPageExternalLink www.voronkov.com.
- Andrei_Voronkov wikiPageID "27303938".
- Andrei_Voronkov wikiPageLength "11450".
- Andrei_Voronkov wikiPageOutDegree "29".
- Andrei_Voronkov wikiPageRevisionID "700593893".
- Andrei_Voronkov wikiPageWikiLink Alan_Turing_Centenary_Conference.
- Andrei_Voronkov wikiPageWikiLink Automated_reasoning.
- Andrei_Voronkov wikiPageWikiLink Automated_theorem_proving.
- Andrei_Voronkov wikiPageWikiLink CADE_ATP_System_Competition.
- Andrei_Voronkov wikiPageWikiLink Category:1959_births.
- Andrei_Voronkov wikiPageWikiLink Category:Academics_of_the_University_of_Manchester.
- Andrei_Voronkov wikiPageWikiLink Category:Living_people.
- Andrei_Voronkov wikiPageWikiLink Category:Novosibirsk_State_University_alumni.
- Andrei_Voronkov wikiPageWikiLink Category:Novosibirsk_State_University_faculty.
- Andrei_Voronkov wikiPageWikiLink Category:School_of_Computer_Science,_University_of_Manchester.
- Andrei_Voronkov wikiPageWikiLink Doctor_of_Philosophy.
- Andrei_Voronkov wikiPageWikiLink EasyChair.
- Andrei_Voronkov wikiPageWikiLink Engineering_and_Physical_Sciences_Research_Council.
- Andrei_Voronkov wikiPageWikiLink Formal_methods.
- Andrei_Voronkov wikiPageWikiLink Handbook_of_Automated_Reasoning.
- Andrei_Voronkov wikiPageWikiLink Herbrand_Award.
- Andrei_Voronkov wikiPageWikiLink John_Alan_Robinson.
- Andrei_Voronkov wikiPageWikiLink Novosibirsk_State_University.
- Andrei_Voronkov wikiPageWikiLink Professor.
- Andrei_Voronkov wikiPageWikiLink School_of_Computer_Science,_University_of_Manchester.
- Andrei_Voronkov wikiPageWikiLink University_of_Manchester.
- Andrei_Voronkov wikiPageWikiLink Vampire_(theorem_prover).
- Andrei_Voronkov wikiPageWikiLinkText "Andrei Voronkov".
- Andrei_Voronkov wikiPageWikiLinkText "Andreĭ Voronkov".
- Andrei_Voronkov almaMater Novosibirsk_State_University.
- Andrei_Voronkov awards "25".
- Andrei_Voronkov birthName "Andrei A. Voronkov".
- Andrei_Voronkov caption "--06-24".
- Andrei_Voronkov dateOfBirth "1959".
- Andrei_Voronkov doctoralStudents "* Dmitri Chubarov * Shasha Feng".
- Andrei_Voronkov doctoralStudents "* Kryštof Hoder * Mohammed Khazal Jaber * Konstantin Korovin * Iman Narasamdya * Juan Antonio Navarro Pérez * Alexandre Riazanov * Andrei Tchaltsev".
- Andrei_Voronkov doctoralStudents "* Lars Thalmann * Nestan Tsiskaridze * Margus Veanes".
- Andrei_Voronkov fields Formal_methods.
- Andrei_Voronkov knownFor EasyChair.
- Andrei_Voronkov knownFor Vampire_(theorem_prover).
- Andrei_Voronkov knownFor "*".
- Andrei_Voronkov name "Andrei Voronkov".
- Andrei_Voronkov name "Voronkov, Andrei".
- Andrei_Voronkov shortDescription "Academic".
- Andrei_Voronkov thesisTitle "Realizability and Program Synthesis".
- Andrei_Voronkov thesisYear "1987".
- Andrei_Voronkov website www.voronkov.com.
- Andrei_Voronkov wikiPageUsesTemplate Template:Authority_control.
- Andrei_Voronkov wikiPageUsesTemplate Template:Birth_year_and_age.
- Andrei_Voronkov wikiPageUsesTemplate Template:Citation_needed.
- Andrei_Voronkov wikiPageUsesTemplate Template:Infobox_scientist.
- Andrei_Voronkov wikiPageUsesTemplate Template:Persondata.
- Andrei_Voronkov wikiPageUsesTemplate Template:Reflist.
- Andrei_Voronkov wikiPageUsesTemplate Template:URL.
- Andrei_Voronkov workplaces Novosibirsk_State_University.
- Andrei_Voronkov workplaces University_of_Manchester.
- Andrei_Voronkov workplaces "*".
- Andrei_Voronkov description "Academic".
- Andrei_Voronkov description "Academic".
- Andrei_Voronkov subject Category:1959_births.
- Andrei_Voronkov subject Category:Academics_of_the_University_of_Manchester.
- Andrei_Voronkov subject Category:Living_people.
- Andrei_Voronkov subject Category:Novosibirsk_State_University_alumni.
- Andrei_Voronkov subject Category:Novosibirsk_State_University_faculty.
- Andrei_Voronkov subject Category:School_of_Computer_Science,_University_of_Manchester.
- Andrei_Voronkov hypernym Professor.
- Andrei_Voronkov type Agent.
- Andrei_Voronkov type List.
- Andrei_Voronkov type Person.
- Andrei_Voronkov type Scientist.
- Andrei_Voronkov type Person.
- Andrei_Voronkov type List.
- Andrei_Voronkov type Agent.
- Andrei_Voronkov type NaturalPerson.
- Andrei_Voronkov type Thing.
- Andrei_Voronkov type Q215627.
- Andrei_Voronkov type Q5.
- Andrei_Voronkov type Q901.
- Andrei_Voronkov type Person.
- Andrei_Voronkov comment "Andrei A. Voronkov is a Professor of Formal methods in the School of Computer Science at the University of Manchester.".
- Andrei_Voronkov label "Andrei Voronkov".
- Andrei_Voronkov sameAs Q502611.
- Andrei_Voronkov sameAs Andrei_Voronkov.
- Andrei_Voronkov sameAs m.0j_3s53.
- Andrei_Voronkov sameAs Q502611.
- Andrei_Voronkov wasDerivedFrom Andrei_Voronkov?oldid=700593893.
- Andrei_Voronkov depiction Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg.
- Andrei_Voronkov givenName "Andrei".
- Andrei_Voronkov homepage www.voronkov.com.