Loading article…
アンドレイ・ヴォロンコフ | |
|---|---|
Андрей Анатольевич Воронков | |
 アンドレイ・ヴォロンコフ、アラン・チューリング生誕100周年記念会議にて、2012年6月24日 | |
| 生まれる | アンドレイ・アナトリエヴィッチ・ヴォロンコフ 1959年5月14日[2] [3] |
| 母校 | ノボシビルスク国立大学[1] |
| 知られている | |
| 受賞歴 | |
| 科学者としてのキャリア | |
| フィールド | 形式手法 |
| 機関 | |
| 論文 | 実現可能性とプログラム合成 （1987） |
| Webサイト |
|
アンドレイ・アナトリエヴィッチ・ヴォロンコフ（1959年生まれ）[2] [3]は、マンチェスター大学コンピュータサイエンス学部の形式手法の教授である。[5] [6] [7]
教育
ヴォロンコフはノボシビルスク国立大学で教育を受け、[1] 1987年に博士号を取得しました。 [8] [9]
研究
ヴォロンコフは、ヴァンパイア[4] [10] 自動定理証明器、EasyChair会議管理ソフトウェア、自動推論ハンドブック（ジョン・アラン・ロビンソンとの共著、2001年）[11] [12] [13] [14] 、およびアラン・チューリング生誕100周年記念会議2012の主催者として知られています。 [15] [16] [17] [18] [19]
ヴォロンコフの研究は工学物理科学研究評議会（EPSRC）によって資金提供されている。[20] [21]
受賞と栄誉
2015年、自動推論分野への貢献が認められ、エルブラン賞を受賞した。[22]彼は1999年以来、自動推論会議（CADE）のCADE ATPシステムコンペティション（CASC）で25の部門タイトルを獲得している。 [要出典]
参考文献
- ^ abc Voronkov, AA (1987). 「演繹的プログラム合成とマルコフの原理」.計算理論の基礎. コンピュータサイエンスの講義ノート. 第278巻. pp. 479–482. doi :10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0。
- ^ abアンドレイ・ヴォロンコフ 、米国議会図書館にて
- ^ ab Anon (2016). 「Andrei VORONKOV 生年月日 1959年5月」. companieshouse.gov.uk . ロンドン: Companies House . 2016年8月9日時点のオリジナルよりアーカイブ。
- ^ ab Voronkov, A. (1995). 「吸血鬼の解剖学」.自動推論ジャーナル. 15 (2): 237–265. doi :10.1007/BF00881918. S2CID 1541122.
- ^ 「アンドレイ・ヴォロンコフ教授、研究プロフィール - 個人情報（マンチェスター大学）」。2012年6月8日閲覧。
- ^ Dantsin, E.; Eiter, T.; Gottlob, G .; Voronkov, A. (2001). 「論理プログラミングの複雑性と表現力」ACM Computing Surveys . 33 (3): 374. doi :10.1145/502807.502810. S2CID 518049.
- ^ Constantin, A.; Pettifer, S .; Voronkov, A. (2013). 「PDFX: 科学文献の完全自動化された PDF から XML への変換」。2013 ACM ドキュメント エンジニアリング シンポジウム議事録 - Doc Eng '13 ( PDF)。p. 177。doi :10.1145/ 2494266.2494271。ISBN 9781450317894. S2CID 17173414。
- ^ Voronkov, Andrei (1987).実現可能性とプログラム合成(博士論文). ノボシビルスク国立大学.
- ^ Voronkov, Andrei (2016). 「Papers by Andrei Voronkov」. cs.man.ac.uk . マンチェスター大学. 2016年3月4日時点のオリジナルよりアーカイブ。
- ^ Kotelnikov, Evgenii; Kovács, Laura; Reger, Giles; Voronkov, Andrei (2016). 「吸血鬼と愚か者」。第5 回 ACM SIGPLAN 認定プログラムおよび証明会議の議事録 - CPP 2016。pp. 37–48。arXiv : 1510.04821。doi : 10.1145 / 2854065.2854071。ISBN 9781450341271。
- ^ ロビンソン、ジョン・アラン; ヴォロンコフ、アンドレイ、編 (2001)。自動推論ハンドブック。MIT Press + Elsevier。ISBN 9780444508133。
- ^ セカール、R.;ラマクリシュナン 4 世。ヴォロンコフ、アンドレイ (2001)。 「用語索引付け」。ロビンソンではジョン・アラン。ヴォロンコフ、アンドレイ（編）。自動推論のハンドブック。 1853 ～ 1964 ページ。土井：10.1016/B978-044450813-3/50028-X。ISBN 9780444508133。
- ^ Degtyarev, Anatoli; Voronkov, Andrei (2001). 「シークエントベース計算における等式推論」。 Robinson, John Alan; Voronkov, Andrei (編)。自動推論ハンドブック。pp. 611–706。doi :10.1016/B978-044450813-3/50012-6。hdl :11858/00-001M-0000-0014-7A79-8。ISBN 9780444508133。
- ^ デグチャレフ、アナトリ;ヴォロンコフ、アンドレイ (2001)。 「逆メソッド」。ロビンソンではジョン・アラン。ヴォロンコフ、アンドレイ（編）。自動推論のハンドブック。 179–272ページ。土井：10.1016/B978-044450813-3/50006-0。ISBN 9780444508133。
- ^ アンドレイ・ヴォロンコフの出版物はMicrosoft Academicに索引付けされている
- ^ Google Scholarにインデックスされた Andrei Voronkov の出版物
- ^ アンドレイ・ヴォロンコフ、DBLP参考文献サーバーにて
- ^ Andrei Voronkov の出版物はScopus書誌データベースに索引付けされています。(購読が必要です)
- ^ ACMデジタル ライブラリの Andrei Voronkov 著者プロフィール ページ
- ^ Anon (2015). 「EPSRC が Andrei Voronkov に授与した助成金」epsrc.ac.uk。スウィンドン: 工学物理科学研究評議会。2015 年 5 月 12 日時点のオリジナルよりアーカイブ。
- ^ Anon (2016). 「UK Government grants award to Andrei Voronkov」. rcuk.ac.uk . スウィンドン: Research Councils UK . 2016-08-09時点のオリジナルよりアーカイブ。
- ^ 「Herbrand Award」. cadeinc.org . CADE inc.