Matthias Felleisen is a German-American
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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
William Marsh Rice University, commonly referred to as Rice University, is a Private university, private research university in Houston, Houston, Texas, United States. Established in 1912, the university spans 300 acres.
Rice University comp ...
, Felleisen joined the
Khoury College of Computer Sciences
The Khoury College of Computer Sciences is the computer science school of Northeastern University in Boston, Massachusetts. It was the first college in the United States dedicated to the field of computer science when it was founded in 1982. In ...
at
Northeastern University
Northeastern University (NU or NEU) is a private university, private research university with its main campus in Boston, Massachusetts, United States. It was founded by the Boston Young Men's Christian Association in 1898 as an all-male instit ...
in Boston, Massachusetts as Trustee Professor.
Felleisen's interests include
programming language
A programming language is a system of notation for writing computer programs.
Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...
s, including
programming tool
A programming tool or software development tool is a computer program that is used to develop another computer program, usually by helping the developer manage computer files. For example, a programmer may use a tool called a source code editor ...
s, 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
The Massachusetts Institute of Technology (MIT) is a Private university, private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of moder ...
Press (
MIT Press
The MIT Press is the university press of the Massachusetts Institute of Technology (MIT), a private research university in Cambridge, Massachusetts. The MIT Press publishes a number of academic journals and has been a pioneer in the Open Ac ...
), 2001) with
Robert Bruce Findler,
Matthew Flatt, and
Shriram Krishnamurthi.
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.
In 2006, he was inducted as a fellow of the
Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...
(ACM). In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the ACM.
In 2010, he received th
SIGCSE Award for Outstanding Contribution to Computer Science Educationfrom the ACM. In 2012, he received the ACM SIGPLAN Programming Languages Achievement Award for "significant and lasting contribution to the field of programming languages"
including small-step operational semantics for control and state, mixin classes and mixin modules, a fully abstract semantics for Sequential PCF, web programming techniques, higher-order contracts with blame, and static typing for dynamic languages. In 2018, Felleisen received the ACM SIGPLAN's Programming Languages Software Award (jointly with the rest of the Racket core team).
Books
Felleisen co-authored:
*
*
* 1st ed. 2001.
*
*
*
*
*
References
External links
Matthias at Northeastern UniversityKhoury College of Computer Sciences at Northeastern University
{{DEFAULTSORT:Felleisen, Matthias
Year of birth missing (living people)
Living people
2006 fellows of the Association for Computing Machinery
American instructional writers
Programming language researchers
Lisp (programming language) people
Northeastern University faculty
Rice University faculty
Indiana University Bloomington alumni
Computer science educators