Andrei Voronkov
E78936
Andrei Voronkov is a computer scientist known for his influential work in automated reasoning and theorem proving.
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
academic
→
computer scientist → researcher → |
| associatedWith |
CADE conference series
→
automated deduction community → |
| coAuthorOf |
Handbook of Automated Reasoning
→
|
| editorOf |
Handbook of Automated Reasoning
→
|
| educatedAt |
Novosibirsk State University
→
|
| employer |
University of Manchester
→
|
| fieldOfStudy |
computer science
→
mathematics → |
| fieldOfWork |
automated reasoning
→
computer science → formal methods → logic in computer science → theorem proving → |
| hasAcademicPublicationType |
conference papers
→
edited volumes → journal articles → |
| hasCitizenship |
Russia
→
United Kingdom → |
| hasResearchOutput |
algorithms for first-order theorem proving
→
methods for automated reasoning in logic → techniques for efficient theorem proving → |
| hasRole |
conference organizer
→
journal editor → program committee member → |
| influenced |
development of modern automated theorem provers
→
research in automated reasoning → |
| knownFor |
automated reasoning research
→
contributions to first-order theorem proving → development of automated theorem provers → theorem proving research → work on the Vampire theorem prover → |
| languageSpoken |
English
→
Russian → |
| memberOf |
international research community in automated reasoning
→
|
| notableWork |
Vampire automated theorem prover
→
|
| occupation |
computer science researcher
→
university professor → |
| positionHeld |
Professor of Computer Science
→
|
| researchInterest |
first-order logic
→
formal verification → proof search → satisfiability → |
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Herbrand Award
→
|
notableRecipient |