Andrei Voronkov

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.

  • eigene Website
  • Publikationsliste Uni Trier
  • Publikationsliste Academic Research

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
Normdaten (Person): GND: 11280828X (lobid, OGND, AKS) | LCCN: n92045267 | VIAF: 8047455 | Wikipedia-Personensuche
Personendaten
NAME Voronkov, Andrei
ALTERNATIVNAMEN Voronkov, Andrei A.
KURZBESCHREIBUNG russisch-schwedischer Informatiker und Professor
GEBURTSDATUM Mai 1959