dbo:abstract
|
- Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. (en)
- 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. (de)
|
dbo:academicDiscipline
| |
dbo:almaMater
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthName
|
- Andrei Anatolievič Voronkov (en)
|
dbo:institution
| |
dbo:knownFor
| |
dbo:originalName
|
- Андрей Анатольевич Воронков (en)
|
dbo:thumbnail
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9325 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:almaMater
| |
dbp:awards
|
- 45 (xsd:integer)
- (en)
- Herbrand Award (en)
|
dbp:birthDate
| |
dbp:birthName
|
- Andrei Anatolievič Voronkov (en)
|
dbp:caption
|
- 0001-06-24 (xsd:gMonthDay)
|
dbp:fields
| |
dbp:knownFor
|
- (en)
- EasyChair (en)
- Vampire theorem prover (en)
|
dbp:name
| |
dbp:nativeName
|
- Андрей Анатольевич Воронков (en)
|
dbp:nativeNameLang
| |
dbp:thesisTitle
|
- Realizability and Program Synthesis (en)
|
dbp:thesisYear
| |
dbp:wikiPageUsesTemplate
| |
dbp:wordnet_type
| |
dbp:workplaces
|
- Novosibirsk State University (en)
- University of Manchester (en)
- (en)
|
dcterms:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. (en)
- 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. (de)
|
rdfs:label
|
- Andrei Voronkov (en)
- Andrei Voronkov (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:author
of | |
is dbo:developer
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:author
of | |
is dbp:developer
of | |
is dbp:people
of | |
is foaf:primaryTopic
of | |