馬蒂亞斯·費萊森
馬蒂亞斯·費萊森（德語：Matthias Felleisen）是德裔美國計算機科學教授和作家。他在德國長大，21歲移民美國。他在丹尼爾·福瑞得曼的指導下獲得了印第安納大學的博士學位。馬蒂亞斯·費萊森對程式語言、程序設計等領域有興趣。 [1]
| 馬蒂亞斯·費萊森 | |
|---|---|
 2010年的馬蒂亞斯·費萊森 | |
| 出生 | 德國 |
| 公民權 | 美國 |
| 教育程度 | 印第安納大學哲學博士 (1984-1987) 卡爾斯魯厄理工學院Diplom. Wi. Ing. (1978-1983) 亞利桑那大學理學碩士 (1980-1981) |
| 知名於 | Founder of Racket, 操作語義學, 型別安全, 續體, gradual typing, A-normal form |
| 獎項 | the ACM Karl V. Karlstrom Award, ACM Fellow |
| 科學生涯 | |
| 研究領域 | 電腦科學家 |
| 機構 | 萊斯大學 東北大學 |
| 論文 | The Calculi of Lambda_v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages |