Andrei Voronkov
Zur Navigation springen
Zur Suche springen
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[Bearbeiten | Quelltext bearbeiten]
Einzelnachweise[Bearbeiten | Quelltext bearbeiten]
- ↑ a b 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 |