アンドレイ・ヴォロンコフ (コンピューター科学者)

アンドレイ・アナトリエヴィチ・ヴォロンコフ（1959年生まれ）^{[ 1 ] [ 2 ]}は、マンチェスター大学コンピュータサイエンス学科の形式手法の教授である。^{[ 5 ] [ 6 ] [ 7 ]}

ヴォロンコフはノボシビルスク国立大学で教育を受け、^{[ 3 ]} 1987年に博士号を取得して卒業した。 ^{[ 8 ] [ 9 ]}

ヴォロンコフは、自動定理証明器Vampire ^{[ 4 ] [ 10 ]} 、会議管理ソフトウェアEasyChair 、自動推論ハンドブック(ジョン・アラン・ロビンソンとの共著、2001 年) ^{[ 11 ] [ 12 ] [ 13 ] [ 14 ]}、および2012 年のアラン・チューリング生誕 100 年記念会議の主催者として知られています。 ^{[ 15 ] [ 16 ] [ 17 ] [ 18 ]}

ヴォロンコフの研究は、工学・物理科学研究会議（EPSRC）から資金提供を受けている。^{[ 19 ] [ 20 ]}

2015年、彼は自動推論の分野への貢献が認められ、ハーブランド賞を受賞しました。^{[ 21 ]}彼は1999年以来、自動推論会議（CADE）のCADE ATPシステムコンペティション（CASC）で25の部門タイトルを獲得しています。