Andrei Voronkov

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]

Andrei Voronkov, 2012

Für 2015 wurde ihm der Herbrand Award zugesprochen.

Einzelnachweise
  1. 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.