Andrei A. Voronkov (geb. Mai 1959) 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.
Für 2015 wurde ihm der Herbrand Award zugesprochen.
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- ↑ https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments
- Prof Andrei Voronkov, research profile - personal details (The University of Manchester). Abgerufen am 8. Juni 2012.
- Publikationen von Andrei Voronkov bei Google Scholar
Personendaten | |
---|---|
NAME | Voronkov, Andrei |
ALTERNATIVNAMEN | Voronkov, Andrei A. |
KURZBESCHREIBUNG | russisch-schwedischer Informatiker und Professor |
GEBURTSDATUM | Mai 1959 |