ダヴィデ・サンジョルジ

ダヴィデ・サンジョルジ
ダヴィデ・サンジョルジ
母校	エディンバラ大学（博士号）
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	ボローニャ大学
論文	プロセス代数におけるモビリティの表現: 1 次および高次のパラダイム (1993)
博士課程の指導教員	ロビン・ミルナー
Webサイト	www.cs.unibo.it/~sangio/

ダビデ・サンジョルジはボローニャ大学のイタリア人コンピュータサイエンス教授です。^[1] 以前はエディンバラ大学とInriaで研究職を務めていました。 1993年にロビン・ミルナーの指導の下、エディンバラ大学で博士号を取得しました。 ^{[2]アムステルダムの}Centrum Wiskunde & Informatica (CWI)、ケンブリッジ大学、オックスフォード大学で客員教授を務めました。

彼の研究分野は並行システム、セマンティクス、形式検証技術である。^[3]^[4]^[5]^[6]

彼は、プログラミング概念の形式的記述に関するIFIP ワーキンググループ 2.2のメンバーであり、元議長でもあり、 Academia Europaeaのメンバーでもあります。彼は、ボローニャ大学とInriaの共同研究所である研究チーム FOCUS の責任者です。

外部リンク

^ Google Scholarにインデックスされた Davide Sangiorgi の出版物
^ Sangiorgi, Davide (1993).プロセス代数におけるモビリティの表現: 一次および高次のパラダイム(博士論文).エディンバラ大学. hdl :1842/6569. OCLC 29948444. EThOS uk.bl.ethos.566460.
^ サンジョルジ、ダヴィデ、ウォーカー、デイヴィッド（2001）。π計算：モバイルプロセスの理論。ケンブリッジ大学出版局。ISBN 0-521-78177-9。
^ Sangiorgi, Davide (2012).バイシミュレーションとコインダクション入門。ケンブリッジ大学出版局。ISBN 9781107003637。
^ Sangiorgi, Davide ; Rutten, Jan (2012).双模倣と共帰納法の高度なトピック。ケンブリッジ大学出版局。ISBN 9781107004979。
^ DBLP書誌サーバーの Davide Sangiorgi