mini|Andrei Voronkov, 2012
Andrei A. Voronkov (geb. Mai 1959https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments) 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 Vampire zum maschinengestütztem Beweisen, das Konferenzverwaltungsprogramm EasyChair und organisierte 2012 die Alan Turing Centenary Conference.Publikationen von Andrei Voronkov bei Google Scholar
Für 2015 wurde ihm der Herbrand Award zugesprochen.
Weblinks eigene Website Publikationsliste Uni Trier Publikationsliste Academic Research
Einzelnachweise
Kategorie:Hochschullehrer (University of Manchester) Kategorie:Informatiker Kategorie:Russe Kategorie:Schwede Kategorie:Geboren 1959 Kategorie:Mann