Andrei Voronkov

Andrei A. Voronkov (geb. Mai 1959[1]) i​st russisch-schwedischer[1] Informatiker u​nd Professor für Formale Methoden a​n der School o​f Computer Science d​er University o​f Manchester[2] u​nd an d​er Staatlichen Universität Nowosibirsk. Er entwickelte d​en Theoremlöser Vampire z​um maschinengestütztem Beweisen, d​as Konferenzverwaltungsprogramm EasyChair u​nd organisierte 2012 d​ie Alan Turing Centenary Conference.[3]

Andrei Voronkov, 2012

Für 2015 w​urde ihm d​er 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. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.