imported>APPERbot: Bot: Normdaten korrigiert (neues Format bei LCCN, GNDName nicht mehr notwendig, siehe Diskussion)

2020-12-12T01:19:43Z

Bot: Normdaten korrigiert (neues Format bei LCCN, GNDName nicht mehr notwendig, siehe Diskussion)

Neue Seite

[[Datei:Andrei Voronkov - Turing 100 - 2012 - Portrait.jpg|mini|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 Methode]]n an der School of Computer Science der [[University of Manchester]]<ref>{{cite web |url=http://www.manchester.ac.uk/research/Andrei.voronkov/ |title=Prof Andrei Voronkov, research profile - personal details (The University of Manchester) |format= |work= |accessdate=2012-06-08}}</ref> und an der [[Staatliche Universität Nowosibirsk|Staatlichen Universität Nowosibirsk]]. Er entwickelte den Theoremlöser [[Vampire (Programm)|Vampire]] zum [[Maschinengestütztes Beweisen|maschinengestütztem Beweisen]], das Konferenzverwaltungsprogramm [[EasyChair]] und organisierte 2012 die ''Alan Turing Centenary Conference''.<ref name="gscholar">[http://scholar.google.com/scholar?q=andrei+voronkov Publikationen von Andrei Voronkov] bei [[Google Scholar]]</ref>

Für 2015 wurde ihm der [[Herbrand Award]] zugesprochen.

== Weblinks ==
* [http://www.voronkov.com/ eigene Website]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Voronkov:Andrei.html Publikationsliste Uni Trier]
* [http://academic.research.microsoft.com/Author/439151 Publikationsliste Academic Research]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=11280828X|LCCN=n92045267|NDL=|VIAF=8047455}}

{{SORTIERUNG:Voronkov, Andrei}}
[[Kategorie:Hochschullehrer (University of Manchester)]]
[[Kategorie:Informatiker]]
[[Kategorie:Russe]]
[[Kategorie:Schwede]]
[[Kategorie:Geboren 1959]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Voronkov, Andrei
|ALTERNATIVNAMEN=Voronkov, Andrei A.
|KURZBESCHREIBUNG=russisch-schwedischer Informatiker und Professor
|GEBURTSDATUM=Mai 1959
|GEBURTSORT=
|STERBEDATUM=
|STERBEORT=
}}

Andrei Voronkov - Versionsgeschichte

imported>APPERbot: Bot: Normdaten korrigiert (neues Format bei LCCN, GNDName nicht mehr notwendig, siehe Diskussion)