Matthias Felleisen
Matthias Felleisen | |
|---|---|
Felleisen speaking at the Symposium on Principles of Programming Languages in Madrid, Spain in 2010 | |
| Born | Germany |
| Citizenship | United States |
| Education | Ph.D., Indiana University Bloomington (1984–1987) Diplom. Wi. Ing., Technische Universität Karlsruhe (1978–1983) Master of Science, University of Arizona, Tucson (1980–1981) |
| Known for | Founder of PLT, operational semantics, type safety, continuations, gradual typing, A-normal form |
| Awards | ACM Karl V. Karlstrom Award, ACM Fellow |
| Scientific career | |
| Fields | Computer scientist |
| Institutions | Rice University Northeastern University |
| Thesis | The Calculi of Lambda_v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages |
| Doctoral advisor | Daniel P. Friedman |
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.