ダヴィデ・サンジョルジ | |
|---|---|
| 母校 | エディンバラ大学（博士号） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ボローニャ大学 |
| 論文 | プロセス代数におけるモビリティの表現：第一階および高階パラダイム （1993） |
| 博士課程の指導教員 | ロビン・ミルナー |
| Webサイト | www |
ダヴィデ・サンジョルジは、ボローニャ大学のイタリア人コンピュータサイエンス教授です。[ 1 ] 以前はエディンバラ大学とInriaで研究職を務め、 1993年にロビン・ミルナーの指導の下、エディンバラ大学で博士号を取得しました。[ 2 ]アムステルダムのCentrum Wiskunde & Informatica（CWI）、ケンブリッジ大学、オックスフォード大学 で客員教授を務めました。
彼の研究対象は並行システム、セマンティクス、形式検証技術の分野である。[ 3 ] [ 4 ] [ 5 ] [ 6 ]
彼は、プログラミング概念の形式的記述に関するIFIPワーキンググループ2.2のメンバーであり、元議長でもあります。また、 Academia Europaeaのメンバーでもあります。彼は、ボローニャ大学とInriaの共同研究室である研究チームFOCUSの責任者です。
外部リンク
Wikiquoteにダヴィデ・サンジョルジに関する引用句があります。
参考文献
- ^ Google Scholarに索引付けされたDavide Sangiorgiの出版物
- ^ Sangiorgi, Davide (1993).プロセス代数におけるモビリティの表現：第一階パラダイムと高階パラダイム（博士論文）.エディンバラ大学. hdl : 1842/6569 . OCLC 29948444. EThOS uk.bl.ethos.566460 .
- ^サンジョルジ, ダヴィデ; ウォーカー, デイヴィッド (2001). 『π計算：モバイルプロセスの理論』ケンブリッジ大学出版局. ISBN 0-521-78177-9。
- ^サンジョルジ、ダヴィデ(2012). 『双模倣と共帰納法入門』ケンブリッジ大学出版局. ISBN 9781107003637。
- ^サンジョルジ、ダヴィデ、ルッテン、ヤン (2012). 『双模倣と共帰納法の高度な話題』ケンブリッジ大学出版局. ISBN 9781107004979。
- ^ DBLP書誌サーバーのDavide Sangiorgi