Andrei Voronkov

Andrei A. Voronkov (geb. Mai 1959^[1]) ist russisch-schwedischer^[1] Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester^[2] 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.^[3]

Andrei Voronkov, 2012

Für 2015 wurde ihm der Herbrand Award zugesprochen.

Weblinks

• eigene Website
• Publikationsliste Uni Trier
• Publikationsliste Academic Research