Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:24005975n
Noun Named Entity
IT
Andrei Voronkov  Andrei A. Voronkov
EN
Andrei Anatolievič Voronkov is a Professor of Formal methods in the Department of Computer Science at the University of Manchester. Wikipedia
English:
scientist
Relations
Sources
IS A
uomo
ACADEMIC DEGREE
dottorato di ricerca
AWARD RECEIVED
EN
Herbrand Award
COUNTRY OF CITIZENSHIP
Svezia
DESCRIBED BY SOURCE
Obalky knih.cz
EDUCATED AT
Università statale di Novosibirsk
EMPLOYER
Università di Manchester
FAMILY NAME
Voronkov
FIELD OF WORK
metodi formali
ragionamento automatico
GIVEN NAME
Andrei
NOTABLE WORK
EasyChair
EN
Vampire
OCCUPATION
informatico
professore
professeur des universités
SEX OR GENDER
maschio
Wikidata
IT
Andrei Voronkov
Wikidata Alias
IT
Andrei A. Voronkov

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License