Andrei Voronkov

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Andrei Voronkov, 2012

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]

Für 2015 wurde ihm der Herbrand Award zugesprochen.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. a b https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments
  2. Prof Andrei Voronkov, research profile - personal details (The University of Manchester). Abgerufen am 8. Juni 2012.
  3. Publikationen von Andrei Voronkov bei Google Scholar