Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Andrei_Voronkov> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Andrei_Voronkov abstract "Andrei Aleksandrovič 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 Aleksandrovič Voronkov".
- Andrei_Voronkov birthYear "1959".
- Andrei_Voronkov field Formal_methods.
- Andrei_Voronkov knownFor EasyChair.
- Andrei_Voronkov knownFor Vampire_(theorem_prover).
- Andrei_Voronkov thumbnail AndreiVoronkov_Turing100-2012.jpg?width=300.
- Andrei_Voronkov viafId "8047455".
- Andrei_Voronkov wikiPageExternalLink andrei.voronkov.
- Andrei_Voronkov wikiPageExternalLink www.voronkov.com.
- Andrei_Voronkov wikiPageID "27303938".
- Andrei_Voronkov wikiPageRevisionID "601025835".
- Andrei_Voronkov almaMater Novosibirsk_State_University.
- Andrei_Voronkov awards "25".
- Andrei_Voronkov birthName "Andrei Aleksandrovič Voronkov".
- Andrei_Voronkov caption "--06-24".
- Andrei_Voronkov dateOfBirth "1959".
- Andrei_Voronkov doctoralStudents "* Dmitri Chubarov * Shasha Feng * Kryštof Hoder * Mohammed Khazal Jaber * Konstantin Korovin * Iman Narasamdya * Juan Antonio Navarro Pérez * Alexandre Riazanov * Andrei Tchaltsev * Lars Thalmann * Nestan Tsiskaridze * Margus Veanes".
- Andrei_Voronkov fields Formal_methods.
- Andrei_Voronkov hasPhotoCollection Andrei_Voronkov.
- Andrei_Voronkov knownFor "* Vampire theorem prover * EasyChair".
- 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 wordnet_type synset-soccer_player-noun-1.
- Andrei_Voronkov workplaces "* University of Manchester * Novosibirsk State University".
- 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:School_of_Computer_Science,_University_of_Manchester.
- Andrei_Voronkov type Agent.
- Andrei_Voronkov type Person.
- Andrei_Voronkov type Scientist.
- Andrei_Voronkov type Person.
- Andrei_Voronkov type Q215627.
- Andrei_Voronkov type Q5.
- Andrei_Voronkov type Agent.
- Andrei_Voronkov type NaturalPerson.
- Andrei_Voronkov type Thing.
- Andrei_Voronkov type Person.
- Andrei_Voronkov comment "Andrei Aleksandrovič 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 label "Andrei Voronkov".
- Andrei_Voronkov sameAs Andrei_Voronkov.
- Andrei_Voronkov sameAs m.0j_3s53.
- Andrei_Voronkov sameAs Q502611.
- Andrei_Voronkov sameAs Q502611.
- Andrei_Voronkov wasDerivedFrom Andrei_Voronkov?oldid=601025835.
- Andrei_Voronkov depiction AndreiVoronkov_Turing100-2012.jpg.
- Andrei_Voronkov givenName "Andrei".
- Andrei_Voronkov homepage www.voronkov.com.
- Andrei_Voronkov isPrimaryTopicOf Andrei_Voronkov.
- Andrei_Voronkov name "Andrei Voronkov".
- Andrei_Voronkov name "Voronkov, Andrei".
- Andrei_Voronkov surname "Voronkov".