Andrei Voronkov

http://dbpedia.org/resource/Andrei_Voronkov an entity of type: Thing

Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. rdf:langString

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. rdf:langString

rdfs:label

rdf:langString Andrei Voronkov

rdf:langString Andrei Voronkov

foaf:name

rdf:langString Andrei Voronkov

dbpprop:name

rdf:langString Andrei Voronkov

dbpedia-owl:birthDate

xsd:date 1959-05-14

dbpedia-owl:wikiPageID

xsd:integer 51274805

dbpedia-owl:wikiPageRevisionID

xsd:integer 1112537209

dbpprop:thesisTitle

rdf:langString Realizability and Program Synthesis

dbpprop:thesisYear

xsd:integer 1987

dbpprop:workplaces

rdf:langString Novosibirsk State University

rdf:langString University of Manchester

rdf:langString

dbpprop:awards

xsd:integer 45

rdf:langString

rdf:langString Herbrand Award

dbpprop:birthDate

xsd:date 1959-05-14

dbpprop:birthName

rdf:langString Andrei Anatolievič Voronkov

dbpprop:caption

xsd:gMonthDay --06-24

dbpprop:knownFor

rdf:langString

rdf:langString EasyChair

rdf:langString Vampire theorem prover

dbpprop:nativeName

rdf:langString Андрей Анатольевич Воронков

dbpprop:nativeNameLang

rdf:langString ru

dbpedia-owl:abstract

rdf:langString Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

rdf:langString 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.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 9325

dbpedia-owl:birthName

rdf:langString Andrei Anatolievič Voronkov

dbpedia-owl:originalName

rdf:langString Андрей Анатольевич Воронков

dbpedia-owl:Person

<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>

<http://www.wikidata.org/entity/Q19088>

<http://www.wikidata.org/entity/Q215627>

<http://www.wikidata.org/entity/Q5>

<http://www.wikidata.org/entity/Q729>

dbpedia-owl:Animal

dbpedia-owl:Eukaryote

dbpedia-owl:Scientist

dbpedia-owl:Species

yago:WikicatComputerScientists

schema-org:Person

yago:WikicatLivingPeople

<http://www.wikidata.org/entity/Q901>

yago:Academician109759069

yago:Adult109605289

yago:CausalAgent100007347

yago:ComputerScientist109951070

yago:ComputerUser109951274

yago:Educator110045713

yago:LivingThing100004258

yago:Object100002684

yago:Organism100004475

yago:Person100007846

yago:PhysicalEntity100001930

yago:Professional110480253

yago:YagoLegalActor

yago:YagoLegalActorGeo

yago:Scientist110560637

yago:Whole100003553

yago:WikicatAcademicsOfTheUniversityOfManchester

<http://commons.wikimedia.org/wiki/Special:FilePath/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg>

dcterms:subject

<http://dbpedia.org/resource/Category:1959_births>

<http://dbpedia.org/resource/Category:Living_people>

<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:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester>

<http://dbpedia.org/resource/Category:Novosibirsk_State_University_alumni>

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Bramhall>

<http://dbpedia.org/resource/Department_of_Computer_Science,_University_of_Manchester>

<http://dbpedia.org/resource/University_of_Manchester>

<http://dbpedia.org/resource/Vampire_(theorem_prover)>

<http://dbpedia.org/resource/EasyChair>

<http://dbpedia.org/resource/Category:1959_births>

<http://dbpedia.org/resource/Category:Living_people>

<http://dbpedia.org/resource/Engineering_and_Physical_Sciences_Research_Council>

<http://dbpedia.org/resource/Conference_on_Automated_Deduction>

<http://dbpedia.org/resource/Professor>

<http://dbpedia.org/resource/Automated_theorem_proving>

<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester>

<http://dbpedia.org/resource/Novosibirsk_State_University>

<http://dbpedia.org/resource/Formal_methods>

<http://dbpedia.org/resource/Handbook_of_Automated_Reasoning>

<http://dbpedia.org/resource/Category:Novosibirsk_State_University_academic_personnel>

<http://dbpedia.org/resource/Alan_Turing_Centenary_Conference>

<http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester>

<http://dbpedia.org/resource/Category:Novosibirsk_State_University_alumni>

<http://dbpedia.org/resource/John_Alan_Robinson>

<http://dbpedia.org/resource/Herbrand_Award>

<http://dbpedia.org/resource/Automated_reasoning>

<http://dbpedia.org/resource/CADE_ATP_System_Competition>

<http://dbpedia.org/resource/PhD>

<http://rdf.freebase.com/ns/m.0j_3s53>

<http://yago-knowledge.org/resource/Andrei_Voronkov>

<http://viaf.org/viaf/8047455>

<http://www.bbc.co.uk/things/79247936-3a2b-44d5-9ed6-a23259b45806#id>

<http://d-nb.info/gnd/11280828X>

<http://d-nb.info/gnd/160513545>

<https://dblp.org/pid/v/AndreiVoronkov>

<http://www.wikidata.org/entity/Q502611>

<http://data.bibliotheken.nl/id/thes/p097142778>

<http://de.dbpedia.org/resource/Andrei_Voronkov>

<https://global.dbpedia.org/id/4fVM7>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:Authority_control>

<http://dbpedia.org/resource/Template:Citation_needed>

<http://dbpedia.org/resource/Template:For>

<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:Infobox_scientist>

dbpedia-owl:thumbnail

<http://commons.wikimedia.org/wiki/Special:FilePath/Andrei_Voronkov_-_Turing_100_-_2012_-_Portrait.jpg?width=300>

dbpprop:almaMater

<http://dbpedia.org/resource/Novosibirsk_State_University>

<http://dbpedia.org/resource/Formal_methods>

dbpedia-owl:institution

<http://dbpedia.org/resource/University_of_Manchester>

<http://dbpedia.org/resource/Novosibirsk_State_University>

<http://purl.org/linguistics/gold/hypernym>

<http://dbpedia.org/resource/Professor>

schema-org:sameAs

<http://viaf.org/viaf/8047455>

dbpprop:wordnet_type

<http://www.w3.org/2006/03/wn/wn20/instances/synset-soccer_player-noun-1>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Andrei_Voronkov?oldid=1112537209&ns=0>

dbpedia-owl:academicDiscipline

<http://dbpedia.org/resource/Formal_methods>

dbpedia-owl:almaMater

<http://dbpedia.org/resource/Novosibirsk_State_University>

dbpedia-owl:award

<http://dbpedia.org/resource/Herbrand_Award>

<http://dbpedia.org/resource/CADE_ATP_System_Competition>

dbpedia-owl:knownFor

<http://dbpedia.org/resource/Vampire_(theorem_prover)>

<http://dbpedia.org/resource/EasyChair>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Andrei_Voronkov>

data from the linked data cloud