Zum Inhalt springen

Andrei Voronkov

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 12. Dezember 2020 um 01:19 Uhr durch imported>APPERbot (Bot: Normdaten korrigiert (neues Format bei LCCN, GNDName nicht mehr notwendig, siehe Diskussion)).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Datei:Andrei Voronkov - Turing 100 - 2012 - Portrait.jpg
Andrei Voronkov, 2012

Andrei A. Voronkov (geb. Mai 1959<ref name=A>https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments</ref>) ist russisch-schwedischer<ref name=A/> Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester<ref>Vorlage:Cite book/Name: [Internetquelle: archiv-url ungültig Prof Andrei Voronkov, research profile - personal details (The University of Manchester).] , archiviert vom Vorlage:IconExternal (nicht mehr online verfügbar) am Vorlage:Cite book/URL; abgerufen am 8. Juni 2012.Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung</ref> 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.<ref name="gscholar">Publikationen von Andrei Voronkov bei Google Scholar</ref>

Für 2015 wurde ihm der Herbrand Award zugesprochen.

Weblinks

Einzelnachweise

<references />

Vorlage:Hinweisbaustein

Personendaten
NAME Voronkov, Andrei
ALTERNATIVNAMEN Voronkov, Andrei A.
KURZBESCHREIBUNG russisch-schwedischer Informatiker und Professor
GEBURTSDATUM Mai 1959
Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Andrei_Voronkov&oldid=2342860“