ルカ・カルデッリ

ルカ・アンドレア・カルデッリFRSは、イギリスのオックスフォード大学の研究教授であるイタリアのコンピュータ科学者です。^{[ 6 ] [ 3 ] [ 7 ] [ 8 ]}カルデッリは、型理論と操作的意味論の研究でよく知られています。^{[ 9 ] [ 10 ]}プログラミング言語におけるその他の貢献としては、言語Modula-3の設計に協力し、 (純粋ではない)関数型言語MLの最初のコンパイラを実装し、型付きプログラミングの概念を定義し、実験的な言語Polyphonic C#の開発に協力しました。^{[ 1 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ]}

彼はイタリアのモンテカティーニ・テルメで生まれた。ピサ大学^{[ 7 ]}に通った後、1982年にゴードン・プロトキン^{[ 5 ]}の指導の下、エジンバラ大学で博士号を取得した^{[ 15 ]}。

2014年にオックスフォード大学に、 1997年に英国ケンブリッジのマイクロソフトリサーチ[ ^{7 ]}に入社する前は、ベル研究所とデジタル機器コーポレーション^{[ 7 ]}で働き、vismon ^{[ 16 ]を}含むUnixソフトウェアに貢献した。

カルデッリは、1980年代後半にDECで働いていた際に、エドガー・W・ダイクストラの筆跡を模倣したコンピュータフォントであるダイクストラフォントを作成し、公開した。 ^{[ 18 ] [ 19 ]}