Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:24005975n
Noun Named Entity
PT
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
humano
ACADEMIC DEGREE
Doutor em filosofia
AWARD RECEIVED
Prêmio Herbrand
COUNTRY OF CITIZENSHIP
suécia
DESCRIBED BY SOURCE
EN
Obalky knih.cz
EDUCATED AT
Universidade Estadual de Novosibirsk
EMPLOYER
Universidade de Manchester
FAMILY NAME
Voronkov
FIELD OF WORK
métodos formais
raciocínio automatizado
GIVEN NAME
Andrei
NOTABLE WORK
EasyChair
EN
Vampire
OCCUPATION
cientista da computação
professor
professeur des universités
SEX OR GENDER
masculino
Wikidata
PT
Andrei Voronkov
Wikidata Alias
PT
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