Андрей Воронков

Андрей Воронков
Андрей Анатольевич Воронков
Андрей Воронков на конференции столетия Алана Тьюринга, 24 июня 2012 г.
Родился	Андрей Анатольевич Воронков. (1959-05-14) 14 мая 1959 (61 год)
Alma mater	Новосибирский государственный университет
Известен	программой доказательства теорем вампиров EasyChair
награждает	45 титулами в CASC с 1999 года Herbrand Award (2015)
Научная карьера
Поля	Формальные методы
Учреждения	Манчестерский университет Новосибирский государственный университет
Диссертация	Реализуемость и программный синтез (1987)
Веб-сайт	voronkov.com манчестер. ac.uk / research / andrei.voronkov

Андрей Анатольевич Воронков (б orn 1959) является профессором из формальных методов на факультете компьютерных наук в университете Манчестера.

• 1 Образование
• 2 Исследования
• 3 Награды и награды
• 4 Рекомендации

Воронков получил образование в Новосибирском государственном университете, получив степень PhD в 1987 году.

Воронков известен благодаря Vampire автоматическому доказательству теорем, EasyChair программе управления конференциями., Handbook of Automated Reasoning (с John Alan Robinson, 2001), и как организатор столетней конференции Алана Тьюринга 2012.

Исследования Воронкова финансировались Научно-исследовательским советом по инженерным и физическим наукам (EPSRC).

В 2015 году его вклад в область автоматизированного мышления был признан с премией Herbrand Award. С 1999 года он выиграл 25 титулов в дивизионе CADE ATP System Competition (CASC) на Конференции по автоматизированному вычету (CADE).