Matthias Felleisen

Matthias Felleisen
Felleisen speaking at the Symposium on Principles of Programming Languages in Madrid, Spain in 2010
Occupation	Professor of computer science
Known for	Founder of PLT

Matthias Felleisen is a computer science professor and an author of German background. He grew up in Germany and immigrated to the USA when he was 21 years old.

Felleisen is currently a Trustee Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. In the past he has taught at Rice University after receiving his PhD from Indiana University under the direction of Daniel P. Friedman.

Felleisen's interests include programming languages, including software tools, program design, the Design Recipe, software contracts, and many more. In the 1990s, Felleisen launched PLT and TeachScheme! (now ProgramByDesign) 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 (MIT Press, 2001) with Findler, Flatt, and Krishnamurthi.

Control delimiters, the basis of delimited continuations, were introduced by Felleisen in 1988. They have since been used in a large number of domains, particularly in defining new control operators; see Queinnec for a survey.

A-normal form (ANF), an intermediate representation of programs in functional compilers were introduced by Sabry and Felleisen in 1992 as a simpler alternative to continuation-passing style (CPS).