马蒂亚斯·费莱森

马蒂亚斯·费莱森（德语：Matthias Felleisen）是德裔美国计算机科学教授和作家。他在德国长大，21岁移民美国。他在丹尼尔·福瑞得曼的指导下获得了印第安纳大学的博士学位。马蒂亚斯·费莱森对编程语言、程序设计等领域有兴趣。

Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University Bloomington under the direction of Daniel P. Friedman.

After serving as professor for 14 years in the Computer Science Department of Rice University, Felleisen joined the Khoury College of Computer Sciences at Northeastern University in Boston, Massachusetts as Trustee Professor.

Felleisen's interests include programming languages, including programming tools, program design, software contracts, and many more. In the 1990s, Felleisen launched PLT and TeachScheme! (later ProgramByDesign and eventually giving rise to the Bootstrap project

) with the goal of teaching program-design principles to beginners and to explore the use of Scheme to produce large systems. As part of this effort, he authored How to Design Programs (Massachusetts Institute of Technology Press (MIT Press), 2001) with Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi.

Research

Felleisen's research on the theory of programming languages yielded the widely used reduction semantics, generalizing the Lambda calculus. The most common use concerns proofs of Type soundness as illustrated by the high citation count. A collaboration with Pierre Louis Curien and Robert Cartwright produced the first sequential and algebraically generated denotational semantics for a higher-order language Also see Denotational semantics and its discussion of game semantics.

Felleisen's work on the practice of programming languages includes a range of results. His dissertation proposed the idea of Delimited continuation, an idea that by now is realized in a several contemporary languages using several different techniques, including JavaScript,OCaml, Scala (programming language),and Racket (programming language).Additionally, his theory of delimited continuations started a collaboration with Sabry and produced the A-normal (intermediate) form for compilers. Thes result was selected for the 20-years anniversary collection of the PLDI conference. With Findler, Felleisen generalized software contracts to higher-order languages. Finally, Tobin-Hochstadt and Felleisen used these higher-order contracts to create Typed Racket, the first full-fledged language with a gradual typing system contemporary with Siek and Waha's theoretical effort and coining of the phrase.

Around 1990, Felleisen investigated the expressive power of programming languages in an effort to understand why programmers may prefer one full-fledged programming language over another. While formal language theory equates all languages that can realize Turing machines, practicing programmers reject this notion and tend to attribute different levels of expressivity to different languages. Felleisen's theory restricts the translations from one language to another to those that affect only ``local (module) pieces of code, that is, those pieces that an individual programmer can edit. By contrast, formal language theory allows any translation between two languages, which explains why it equates more than Felleisen's theory. --- Over the past five years Christos Dimoulas of Northwestern and Felleisen have tried to make a similar argument using empirical research.The key idea is to investigate how much information a language feature delivers in the various work situations that developers encounter. At an abstract level, this research resembles the work on pragmatics by natural linguists.

Awards and honors

Felleisen gave the keynote addresses at the 2011 Technical Symposium on Computer Science Education, 2010 International Conference on Functional Programming, 2004 European Conference on Object-Oriented Programming and the 2001 Symposium on Principles of Programming Languages, and several other conferences and workshops on computer science.