マティアス・フェライゼン

マティアス・フェライゼン
フェライセン氏は2010年にスペインのマドリードで開催されたプログラミング言語の原理に関するシンポジウムで講演した。
生まれる	ドイツ
市民権	アメリカ合衆国
教育	博士号、インディアナ大学ブルーミントン校(1984-1987)卒業証書。ウィ。イング。カールスルーエ工科大学( 1978-1983)理学修士、アリゾナ大学、ツーソン(1980-1981)
知られている	PLT、操作的意味論、型安全性、継続、段階的型付け、A 正規形の創始者
受賞歴	ACM カール・V・カールストロム賞、ACM フェロー
科学者としてのキャリア
フィールド	コンピュータ科学者
機関	ライス大学 ノースイースタン大学
論文	Lambda_v-CS 変換の計算: 命令型高階プログラミング言語における制御と状態の構文理論

マティアス・フェライゼンは、ドイツ系アメリカ人のコンピューターサイエンス教授であり、作家です。ドイツで育ち、20代で米国に移住しました。インディアナ大学ブルーミントン校でダニエル・P・フリードマンの指導の下、博士号を取得しました。

フェライセン氏はライス大学のコンピュータサイエンス学部で14年間教授を務めた後、マサチューセッツ州ボストンのノースイースタン大学コーリーコンピュータサイエンス学部の理事教授に 就任しました。

フェライセンの関心は、ソフトウェアツール、プログラム設計、ソフトウェア契約などを含むプログラミング言語に及びます。^[1] 1990年代に、フェライセンは、初心者にプログラム設計の原則を教え、 Schemeを使用して大規模システムを作成するという目標を掲げ、PLTとTeachScheme!（後にProgramByDesignとなり、最終的にはBootstrapプロジェクト ^{[2]のきっかけとなりました）を立ち上げました。この取り組みの一環として、彼は}Findler、Flatt、Krishnamurthiと共著で『How to Design Programs』（Massachusetts Institute of Technology Press、2001年）を執筆しました。

フェライセンは、2011年のコンピュータサイエンス教育に関する技術シンポジウム、2010年の関数型プログラミングに関する国際会議、^[3] 2004年のオブジェクト指向プログラミングに関するヨーロッパ会議、2001年のプログラミング言語の原則に関するシンポジウム、その他コンピュータサイエンスに関するいくつかの会議やワークショップで基調講演を行った。

2006年、彼はACM（ Association for Computing Machinery）のフェローに選出された。2009年、彼はACMからKarl V. Karlstrom Outstanding Educator Awardを受賞した。 ^[4] 2010年、彼はACMからSIGCSE Award for Outstanding Contribution to Computer Science Educationを受賞した。2012年には、制御と状態の小ステップ操作意味論、ミックスインクラスとミックスインモジュール、Sequential PCFの完全に抽象的な意味論、Webプログラミングテクニック、blame付き高階契約、動的言語の静的型付けなど、「プログラミング言語の分野への重要かつ永続的な貢献」^に対してACM SIGPLANプログラミング言語功績賞を受賞した。[5] 2018年、フェライセンはACM SIGPLANのプログラミング言語ソフトウェア賞を受賞した（Racketコアチームの他のメンバーと共同）。^[6]

フェライセンは以下の共著者である。

• Realm Of Racket ISBN  9781593274917 (No Starch Press、2013)
• PLT Redex によるセマンティクス エンジニアリング ISBN 978-0-262-06275-6 (マサチューセッツ工科大学出版局、2009 年) 
• プログラムの設計方法(MIT Press、2001、第 2 版 2018)
• A Little Java, A Few Patterns ISBN 0-262-56115-8 (マサチューセッツ工科大学出版局、1998 年) 
• The Little MLer ISBN 0-262-56114-X (マサチューセッツ工科大学出版局、1998年) 
• 小さな策略家 ISBN 0-262-56099-2 (マサチューセッツ工科大学出版局、第 4 版、1996 年) 
• 熟練した策略家 ISBN 0-262-56100-X (マサチューセッツ工科大学出版局、1996年) 
• リトル・リスパー ISBN 0-262-56038-0 (マサチューセッツ工科大学出版局、1987年) 

• ノースイースタン大学のマティアス
• ノースイースタン大学コーリーコンピュータサイエンス学部