From Surf Wiki (app.surf) — the open knowledge base

Matthias Felleisen

German-American computer science professor and author

Field	Value
name	Matthias Felleisen
image	Matthias Felleisen.jpg
alt	Photograph of Felleisen standing in front of a projector screen, gesturing
caption	Felleisen speaking at the Symposium on Principles of Programming Languages in Madrid, Spain in 2010
birth_date
birth_place	Germany
death_date
citizenship	United States
fields	Computer scientist
workplaces	Rice University
Northeastern University
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)
thesis_title	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
known_for	Founder of PLT, operational semantics, type safety, continuations, gradual typing, A-normal form
awards	ACM Karl V. Karlstrom Award, ACM Fellow

Northeastern University Diplom. Wi. Ing., Technische Universität Karlsruhe (1978–1983) Master of Science, University of Arizona, Tucson (1980–1981)

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.

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 (ACM). In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the ACM. In 2010, he received the SIGCSE Award for Outstanding Contribution to Computer Science Education from 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, first-class and delimited continuations, 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.
2012

References

Info: Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

year-of-birth-missing-(living-people) living-people 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

Want to explore this topic further?

Ask Mako anything about Matthias Felleisen — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report