Loading article…
イアン・フィリップ・ゲント | |
|---|---|
| 国籍 | イギリス |
| 母校 | ケンブリッジ大学、ウォーリック大学 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | セントアンドリュース大学 |
| 論文 | 制限量化の古典論理と様相論理の解析的証明システム (1992) |
| 博士課程の指導教員 | トニー・コーン |
| Webサイト | ipg.host.cs.st-andrews.ac.uk |
イアン・ジェントは、人工知能の分野で研究し、制約プログラミングの分野を専門とする英国のコンピュータ科学者です。彼はセント・アンドリュース大学の教授です。彼は(トビー・ウォルシュとともに)多くのNP完全問題、特にSATにおける相転移について初めて執筆しました。彼はまた、制約プログラミングにおける対称性を扱うための完全な汎用メソッドを調査した最初の研究者の一人でもありました。[要出典]
ゲントはコンピュータサイエンスにおける再現可能な実験を促進するためにrecomputation.org [1]を設立した。 [2]
彼はcsplib.orgウェブサイトの創設者の一人であり[3]、ペトリー乗数を普及させた。[要出典]
2013年1月、ゲントはミカエル・ヴェイデモ・ヨハンソンとともにブログ「Depressed Academics」を設立した。[4]
参考文献
- ^ “Welcome”. recomputation.org . 2018年1月13日時点のオリジナルよりアーカイブ。
- ^ 「HPC の利益の統合」HPCwire 2013 年 8 月 13 日。
- ^ 「CSPLib: 制約の問題ライブラリ」www.csplib.org。
- ^ “Depressed Academics”. 2021年5月16日時点のオリジナルよりアーカイブ。
外部リンク
- Google Scholarにインデックスされた Ian Gent の出版物
- 数学系譜プロジェクトのイアン・ジェント
