马蒂亚斯·费莱森
| 马蒂亚斯·费莱森 | |
|---|---|
 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 |
马蒂亚斯·费莱森（德语：Matthias Felleisen）是德裔美国计算机科学教授和作家。他在德国长大，21岁移民美国。他在丹尼尔·福瑞得曼的指导下获得了印第安纳大学的博士学位。马蒂亚斯·费莱森对编程语言、程序设计等领域有兴趣。 [1]
参考文献
[编辑]外部链接
[编辑]- Matthias at Northeastern University （页面存档备份，存于互联网档案馆）
- Khoury College of Computer Sciences at Northeastern University （页面存档备份，存于互联网档案馆）
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
