Loading article…
ピエール・ウォルパー | |
|---|---|
| 国籍 | ベルギーの |
| 知られている | コンピュータサイエンス |
ピエール・ウォルパーは、リエージュ大学のベルギー人コンピュータ科学者です。彼の研究対象は、リアクティブプログラムと並行プログラムの検証方法、および時間データベースです。[1]彼は、有限オートマトンによる時間論理に関する研究で、モシェ・Y・ヴァルディとともに2000年のゲーデル賞の共同受賞者です。[2]彼はまた、この研究で2005年のパリ・カネラキス賞を受賞しました。 [3]
2018年10月の選挙後、彼はリエージュ大学の学長に就任した。[4]
参考文献
- ^ 「ピエール・ウォルパー」 。 2015年7月13日閲覧。
- ^ Vardi, Moshe Y.; Wolper, Pierre (1994)、「無限計算についての推論」(PDF)、Information and Computation、115 (1)、ボストン、MA: Academic Press : 1–37、doi :10.1006/inco.1994.1092、ISSN 0890-5401、2011-08-25の オリジナル(PDF)からアーカイブ
- ^ ACM がソフトウェア、ハードウェアの検証ツールの開発者を表彰、ACM、2006 年 3 月 15 日、 2012 年 12 月 12 日閲覧
- ^ Pierre Wolper、リエージュ大学、ラヴニール、2018 年 10 月 11 日。
外部リンク
- 数学系譜プロジェクトのピエール・ウォルパー
- リエージュ大学のウェブサイト