Loading article…
ジョセフ・シファキス | |
|---|---|
 | |
| 生まれる | 1946年12月26日（年齢 77) |
| 市民権 | ギリシャ語-フランス語 |
| 母校 | アテネ国立工科大学 グルノーブル大学 |
| 知られている | モデルチェック |
| 受賞歴 | アテネ国立工科大学 グルノーブル大学 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | CNRS、ローザンヌ連邦工科大学エコール・ポリテクニック |
| 著名な学生 | スタブロス・トリパキス |
ジョセフ・シファキス（ギリシャ語：Ιωσήφ Σηφάκης）は、ギリシャ系フランス人の コンピュータ科学者です。モデル検査に関する研究により、エドマンド・M・クラーク、E・アレン・エマーソンとともに2007年のチューリング賞を受賞しました。
バイオグラフィー
ジョセフ・シファキスは1946年にクレタ島のイラクリオンで生まれ、フランスに在住しています。アテネ国立工科大学で電気工学を学び、フランスの奨学金を得てグルノーブル大学でコンピュータサイエンスを学びました。 1974年にグルノーブル大学で工学博士号を取得し、[1] 1979年には同大学から国家博士号も取得しました。[2] [3] [4]
彼は現在、グルノーブル近郊のVERIMAG研究所にある国立科学研究センターの名誉研究ディレクターを務めており、同センターの創設者でもあります。シファキスはモデル検査と組み込みシステムの分野では第一人者であり、エドモンド・M・クラーク、アミール・プヌエリとともにCAVカンファレンスを設立し、1989年にグルノーブルで初めて開催されました。彼は組み込みシステム研究のためのARTISTヨーロッパ卓越ネットワークのコーディネーターを務めています[5]（2004～2012年）。
シファキス氏はINRIA-シュナイダー寄付講座の産業講座[6]（2008-2011年）を務め、EPFLのコンピューターおよび通信科学学部の教授[7]および「厳密なシステム設計研究所」の所長（2011-2016年）を務めた。また、清華大学（2011-2012年）およびSUSTech（2019年）の客員教授を務めた。 [8]
シファキス氏はギリシャ国立研究技術評議会の会長を務めた（2014～2016年）。
仕事
シファキスはシステム検証とシステム設計への形式手法の応用に取り組んだ。博士号[3]では、後にモデル検査として知られるアルゴリズム検証法の原理を研究した。1982年、この手法はジャン＝ピエール・ケイユの博士号に応用され、CESAR検証ツールが開発された。[9]
Sifakis 氏は 14 年間VERIMAGの所長を務めました。当初はCNRSと Verilog SAの混合産業研究所として設立されたVERIMAG は、 Airbus や Schneider Electric と連携して、安全性が重要なシステムの開発方法やツール、特にLustre 言語に基づく SCADE 同期プログラミング環境を開発してきました。Sifakis 氏はThomas Henzinger [10] [11]と時間指定システムおよびハイブリッド システムの検証に、 Amir Pnueli 氏および Oded Maler [12]と時間指定システムの合成に取り組んできました。また、IF ツールセット、Kronos、 CADP 、TGVなどの検証ツールの開発に参加し、抽象化技術を使用して状態爆発に対処するための理論を開発しました。
過去20年間、彼の研究はBIPコンポーネントフレームワーク[13]を使用した厳密なコンポーネントベースの設計に焦点を当てており、最近では信頼性の高い自律システム、特に自動運転車の設計に焦点を当てています。
受賞歴
- チューリング賞、2007年[14]
- レオナルド・ダ・ヴィンチ・メダル、2012年[15]
- フランス国家功労勲章グランドオフィシエ受章、2008年[16]
- レジオンドヌール勲章コマンドル、フランス、2011年[17]
- 2010年フランス科学アカデミー会員[18]
- 2008年アカデミア・ヨーロッパ会員[19]
- 2008年フランス工学アカデミー会員[20]
- 2015年アメリカ芸術科学アカデミー会員[21]
- 2017年米国工学アカデミー会員[22]
- 2019年中国科学院外国人会員[23]
参考文献
- ^ ジョセフ・シファキス (1974 年 3 月 22 日)。 Modeles Tempels des systèmes logiques (博士論文) (フランス語)。ジョゼフ フーリエ大学 - グルノーブル I.
- ^ ジョセフ・シファキス (1979 年 6 月 25 日)。 Le controle des systèmes asynchrones : 概念、所有権、分析統計 (博士論文) (フランス語)。グルノーブル国立工科大学 - INPG;ジョゼフ フーリエ大学 - グルノーブル I.
- ^ ab ジョセフ・シファキスが大学院生だった当時、フランスには博士号に2つのレベルがあり、上級レベルの博士号である「doctorat d'état」 （「国家博士号」）は教授職に就くために必要であった。その後、この学位は「 habilitation」に置き換えられた。
- ^ :ab グルノーブルには2つの理系大学があった。グルノーブル科学医学大学（USMG、グルノーブル1）は後にジョセフ・フーリエ大学に改名され、グルノーブル工科大学（INPG）は後にグルノーブルINPに改名された。VERIMAGはCNRS、ジョセフ・フーリエ大学、グルノーブルINPの共同研究所である。
- ^ “ArtistDesign NoE – 戦略管理委員会 – Artist2 NoE”.アーティスト埋め込み.org 。2021 年9 月 28 日に取得。
- ^ Nouvelle、L'Usine (2008 年 9 月 18 日)。 「ウネ・チェアレ・インリア・シュナイダー」（フランス語）。
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ エヴァンジェリスタ、サンディ（2011年9月30日）。「EPFLのニュース」
- ^ “Welcome Sifakis @ SUCTech”. Twitter . 2019年1月30日. 2023年11月3日閲覧。
- ^ Marniemi, J.; Parkki, MG (1975 年 9 月 1 日). 「ラット肝臓におけるグルタチオン S-エポキシドトランスフェラーゼの放射化学分析とフェノバルビタールによるその増強」.生化学薬理学. 24 (17): 1569–1572. doi :10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.
- ^ Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, TA; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (1995 年 2 月 6 日). 「ハイブリッド システムのアルゴリズム分析」.理論計算機科学. 138 (1): 3–34. doi : 10.1016/0304-3975(94)00202-T . ISSN 0304-3975.
- ^ Henzinger, TA; Nicollin, X.; Sifakis, J.; Yovine, S. (1994 年 6 月 1 日). 「リアルタイム システムのためのシンボリック モデル チェック」. Information and Computation . 111 (2): 193–244. doi : 10.1006/inco.1994.1045 . hdl : 1813/6182 . ISSN 0890-5401.
- ^ Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995)。「時間付きシステムのための離散コントローラの合成について: 拡張概要」。Mayr, Ernst W.; Puech, Claude (編)。Stacs 95。コンピュータサイエンスの講義ノート。第 900 巻。ベルリン、ハイデルベルク: Springer。pp. 229–242。doi : 10.1007 / 3-540-59042-0_76。ISBN 978-3-540-49175-0。
- ^ Basu, A.; Bozga, M.; Sifakis, J. (2006 年 9 月)。「BIP での異機種リアルタイム コンポーネントのモデリング」。第 4 回 IEEE 国際ソフトウェア エンジニアリングおよび形式手法会議 (SEFM'06)。pp. 3–12。doi :10.1109 / SEFM.2006.27。ISBN 0-7695-2678-0.S2CID 1926067 。
- ^ “Joseph Sifakis”. awards.acm.org . 2021年10月4日閲覧。
- ^ 「Awards – SEFI」 。 2021年10月4日閲覧。
- ^ 2008年5月17日の Journal officiel de la République Françaiseに掲載された2008年5月16日の政令。
- ^ 2011 年 7 月 13 日の法令は、 2008 年 7 月 14 日のフランス共和国職員ジャーナルに掲載された。]
- ^ “Joseph Sifakis | Liste des membres de l'Académie des Sciences / S | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître".アカデミーサイエンス.fr 。2022 年9 月 3 日に取得。
- ^ 「ヨーロッパアカデミー：シファキス・ジョセフ」ae-info.org . 2022年9月3日閲覧。
- ^ https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620 .pdf [裸のURL PDF ]
- ^ 「会員ディレクトリ | アメリカ芸術科学アカデミー」amacad.org . 2022年9月3日閲覧。
- ^ “ジョセフ・シファキス教授”. NAE ウェブサイト。2022 年9 月 3 日に取得。
- ^ “2019年中科院士增选结果揭晓，64人当选_科学湃_澎湃新闻-論文”. thepaper.cn 。2022 年9 月 3 日に取得。
外部リンク
ウィキメディア・コモンズには、ジョセフ・シファキスに関連するメディアがあります。
- 個人ホームページ
- チューリング賞発表
- 出版物リスト: https://dblp.org/pid/s/JosephSifakis.html