Luca_Cardelli
英国王立協会 (FRS) のフェローであるLuca Andrea Cardelliは、英国のオックスフォードにあるオックスフォード大学の研究教授であるイタリアのコンピューター科学者です。 Cardelli は、型理論と演算セマンティクスの研究でよく知られています。 他の貢献の中でも、プログラミング言語では、言語Modula-3の設計を支援し、(非純粋な)関数型言語MLの最初のコンパイラを実装し、概念を定義しました。タイプフル プログラミングを開発し、実験的な言語Polyphonic C#の開発を支援しました。
ルカ・カルデリ
生まれる
ルカ・アンドレア・カルデリ
モンテカティーニ テルメ，
イタリア
教育
ピサ大学 PhD、エディンバラ大学、1982
で知られている
Martín Abadiによるオブジェクトの理論 賞 王立協会フェロー（2005)ダールナイガード賞（2007) ACMフェロー（2005)
科学者としての経歴
田畑
型理論操作セマンティクス
機関
Bell Labs Microsoft Research Digital Equipment Corporationエジンバラ大学 オックスフォード大学
定説
ハードウェアの記述と検証への代数的アプローチ (1982)
博士アドバイザー
ゴードン・プロトキン
Webサイト
ルカカルデリ.name
コンテンツ
1 教育
2 賞
3 参考文献
4 外部リンク
教育
イタリアモンテカティーニテルメ生まれ。彼はピサ大学に通った後、1982 年にエディンバラ大学から哲学博士(PhD) を取得しました。Bell LabsとDigital Equipment Corporationのために 、 vismonを含むUnixソフトウェアに貢献しました。
賞
2004 年には、Association for Computing Machineryのフェローに選ばれました。彼は王立協会のフェローです。2007 年、Cardelli は、 Ole-Johan DahlとKristen Nygaardにちなんで名付けられたシニア AITO Dahl-Nygaard Prize を受賞しました。
参考文献
^ 「カーデリ、ルカ」 . Who’s Who 2013、A & C Black、Bloomsbury Publishing plc、2013 のインプリント。オンライン版、オックスフォード大学出版局。(サブスクリプションが必要です)
^ カーデリ、ルカ。アバディ、マルティン（1996）。オブジェクトの理論。ベルリン: スプリンガー。ISBN 978-0-387-94775-4. ^ カーデリ、ルカ （2021). 「ルカ・カルデリ」 . コンピューター サイエンス学科。オックスフォード大学。
^ 数学系譜プロジェクトのルカ・カルデリ ^ ダルチャウ、N.; フィリップス、A。ゴールドスタイン、LD。ハワース、M。Cardelli、L.; エモット、S .; エリオット、T。ヴェルナー、JM（2011）。Chakraborty、Arup K（編）。「ペプチドフィルタリング関係はMHCクラスIペプチド最適化を定量化する」 . PLOS計算生物学。7 (10): e1002144。ビブコード: 2011PLSCB…7E2144D . ドイ: 10.1371/journal.pcbi.1002144 . PMC 3195949 . PMID 22022238。 ^ Cardelli、L. (1996). 「オブジェクト指向言語の悪いエンジニアリング特性」 . ACM コンピューティング調査. 28 (4es): 150–es. ドイ: 10.1145/242224.242415 . S2CID 12105785 . ^ カーデリ、ルカ。ウェグナー、ピーター(1985 年 12月）。「型、データの抽象化、ポリモーフィズムについて」(PDF) . ACM コンピューティング調査. 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . ドイ: 10.1145/6041.6042 . ISSN 0360-0300 . S2CID 2921816 .
^ ACM Digital LibraryのLuca Cardelli著者プロフィール ページ ^ DBLP Bibliography ServerのLuca Cardelli
^ Microsoft Academicによって索引付けされたLuca Cardelliの出版物 ^ Scopus書誌データベースによって索引付けされたLuca Cardelliの出版物. (サブスクリプションが必要です) ^ アバディ、M .; Cardelli、L.; キュリアン、PL; レヴィ、JJ（1990）。「明示的な置換」。プログラミング言語の原理 (POPL) ’90 に関する第 17 回 ACM SIGPLAN-SIGACT シンポジウムの議事録。p。31–46。CiteSeerX 10.1.1.22.9903 . ドイ: 10.1145/96709.96712 . ISBN 978-0897913430. S2CID 7265577 . ^ カーデリ、ルカ (1982). ハードウェアの記述と検証への代数的アプローチ(博士論文)。エジンバラ大学。
^ McIlroy， MD (1987). リサーチ Unix リーダー: Programmer’s Manual， 1971–1986 (PDF) (テクニカル レポート)からの注釈付き抜粋。CSTR。ベル研究所。139。
^ 「2007 年の AITO ダール ナイガード賞受賞者」 . Association Internationale pour les Technologies Objets . ミョルナー情報学. 2007年。
外部リンク
公式ウェブサイト
Computerworld ルカ・カルデリへのインタビュー
P ≟ NP
コンピュータ科学者に関連するこの伝記記事はスタブです。を拡大することで、を助けることができます。”