| http://dbpedia.org/ontology/abstract
|
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
, Andrei A. Voronkov (geb. Mai 1959) ist rus … Andrei A. Voronkov (geb. Mai 1959) ist russisch-schwedischer Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester und an der Staatlichen Universität Nowosibirsk. Er entwickelte den Theoremlöser zum maschinengestütztem Beweisen, das Konferenzverwaltungsprogramm EasyChair und organisierte 2012 die Alan Turing Centenary Conference. Für 2015 wurde ihm der Herbrand Award zugesprochen.wurde ihm der Herbrand Award zugesprochen.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Formal_methods +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Novosibirsk_State_University +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/CADE_ATP_System_Competition +
|
| http://dbpedia.org/ontology/birthDate
|
"1959-05-14"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Andrei Anatolievič Voronkov
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Novosibirsk_State_University +
, http://dbpedia.org/resource/University_of_Manchester +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/EasyChair +
, http://dbpedia.org/resource/Vampire_%28theorem_prover%29 +
|
| http://dbpedia.org/ontology/originalName
|
Андрей Анатольевич Воронков
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
51274805
|
| http://dbpedia.org/ontology/wikiPageLength
|
9325
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1112537209
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/CADE_ATP_System_Competition +
, http://dbpedia.org/resource/EasyChair +
, http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/Category:Novosibirsk_State_University_alumni +
, http://dbpedia.org/resource/PhD +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester +
, http://dbpedia.org/resource/Category:Novosibirsk_State_University_academic_personnel +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Alan_Turing_Centenary_Conference +
, http://dbpedia.org/resource/Automated_reasoning +
, http://dbpedia.org/resource/Engineering_and_Physical_Sciences_Research_Council +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/Vampire_%28theorem_prover%29 +
, http://dbpedia.org/resource/Conference_on_Automated_Deduction +
, http://dbpedia.org/resource/Novosibirsk_State_University +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/John_Alan_Robinson +
, http://dbpedia.org/resource/Handbook_of_Automated_Reasoning +
, http://dbpedia.org/resource/Bramhall +
, http://dbpedia.org/resource/Automated_theorem_proving +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Novosibirsk_State_University +
|
| http://dbpedia.org/property/awards
|
45
, Herbrand Award
|
| http://dbpedia.org/property/birthDate
|
"1959-05-14"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Andrei Anatolievič Voronkov
|
| http://dbpedia.org/property/caption
|
--06-24
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Formal_methods +
|
| http://dbpedia.org/property/knownFor
|
Vampire theorem prover
, EasyChair
|
| http://dbpedia.org/property/name
|
Andrei Voronkov
|
| http://dbpedia.org/property/nativeName
|
Андрей Анатольевич Воронков
|
| http://dbpedia.org/property/nativeNameLang
|
ru
|
| http://dbpedia.org/property/thesisTitle
|
Realizability and Program Synthesis
|
| http://dbpedia.org/property/thesisYear
|
1987
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:For +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:URL +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Citation_needed +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-soccer_player-noun-1 +
|
| http://dbpedia.org/property/workplaces
|
Novosibirsk State University
, University of Manchester
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Novosibirsk_State_University_academic_personnel +
, http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science%2C_University_of_Manchester +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/Category:Novosibirsk_State_University_alumni +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/8047455 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Andrei_Voronkov?oldid=1112537209&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Andrei_Voronkov +
|
| http://xmlns.com/foaf/0.1/name
|
Andrei Voronkov
|
| owl:sameAs |
http://dbpedia.org/resource/Andrei_Voronkov +
, http://yago-knowledge.org/resource/Andrei_Voronkov +
, http://www.wikidata.org/entity/Q502611 +
, https://dblp.org/pid/v/AndreiVoronkov +
, http://rdf.freebase.com/ns/m.0j_3s53 +
, https://global.dbpedia.org/id/4fVM7 +
, http://data.bibliotheken.nl/id/thes/p097142778 +
, http://d-nb.info/gnd/11280828X +
, http://de.dbpedia.org/resource/Andrei_Voronkov +
, http://www.bbc.co.uk/things/79247936-3a2b-44d5-9ed6-a23259b45806#id +
, http://viaf.org/viaf/8047455 +
, http://d-nb.info/gnd/160513545 +
|
| rdf:type |
http://dbpedia.org/class/yago/Professional110480253 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfManchester +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
|
| rdfs:comment |
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
, Andrei A. Voronkov (geb. Mai 1959) ist rus … Andrei A. Voronkov (geb. Mai 1959) ist russisch-schwedischer Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester und an der Staatlichen Universität Nowosibirsk. Er entwickelte den Theoremlöser zum maschinengestütztem Beweisen, das Konferenzverwaltungsprogramm EasyChair und organisierte 2012 die Alan Turing Centenary Conference. Für 2015 wurde ihm der Herbrand Award zugesprochen.wurde ihm der Herbrand Award zugesprochen.
|
| rdfs:label |
Andrei Voronkov
|
