Andrei Voronkov

aus Wikipedia, der freien Enzyklopädie
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.

Weblinks

Einzelnachweise

  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
Personendaten
NAME Voronkov, Andrei
ALTERNATIVNAMEN Voronkov, Andrei A.
KURZBESCHREIBUNG russisch-schwedischer Informatiker und Professor
GEBURTSDATUM Mai 1959
Abgerufen von „https://de.wikiup.org/index.php?title=Andrei_Voronkov&oldid=206456892“