Jump to content

Matthias Felleisen: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.1) (Balon Greyjoy)
Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.2)
Line 39: Line 39:
Felleisen gave the keynote addresses at the 2011 [[Technical Symposium on Computer Science Education]], 2010 [[International Conference on Functional Programming]],<ref>{{cite web|accessdate=2012-12-18|title=ICFP 2010 Homepage|url=http://www.icfpconference.org/icfp2010/}}</ref> 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.
Felleisen gave the keynote addresses at the 2011 [[Technical Symposium on Computer Science Education]], 2010 [[International Conference on Functional Programming]],<ref>{{cite web|accessdate=2012-12-18|title=ICFP 2010 Homepage|url=http://www.icfpconference.org/icfp2010/}}</ref> 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]]. In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the [[Association for Computing Machinery|ACM]].<ref name='karlstrom'>{{cite web|accessdate=2012-06-26|title=ACM Award Citation|url=http://awards.acm.org/citation.cfm?id=2089571&srt=all&aw=142&ao=KARLSTRM&yr=2009}}</ref> In 2010, he received the [https://web.archive.org/web/20130603133901/http://www.sigcse.org/programs/awards/outstanding 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"<ref name="sigplan-achievement">{{cite web|accessdate=2012-06-26|title=Programming Languages Achievement Award|url=http://www.sigplan.org/Awards/Achievement/2012}}</ref> 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 2006, he was inducted as a [[fellow]] of the [[Association for Computing Machinery]]. In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the [[Association for Computing Machinery|ACM]].<ref name='karlstrom'>{{cite web|accessdate=2012-06-26|title=ACM Award Citation|url=http://awards.acm.org/citation.cfm?id=2089571&srt=all&aw=142&ao=KARLSTRM&yr=2009|deadurl=yes|archiveurl=https://web.archive.org/web/20120504095940/http://awards.acm.org/citation.cfm?id=2089571&srt=all&aw=142&ao=KARLSTRM&yr=2009|archivedate=2012-05-04|df=}}</ref> In 2010, he received the [https://web.archive.org/web/20130603133901/http://www.sigcse.org/programs/awards/outstanding 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"<ref name="sigplan-achievement">{{cite web|accessdate=2012-06-26|title=Programming Languages Achievement Award|url=http://www.sigplan.org/Awards/Achievement/2012}}</ref> 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.


==Books==
==Books==

Revision as of 06:10, 22 January 2018

Matthias Felleisen
Photograph of Felleisen standing in front of a projector screen, gesturing
OccupationProfessor of computer science
Known forFounder of PLT

Matthias Felleisen is a computer science professor and an author of German background. He grew up in Germany and immigrated to the US 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.[1] 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[2] in 1988. They have since been used in a large number of domains, particularly in defining new control operators; see Queinnec[3] for a survey.

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

Felleisen gave the keynote addresses at the 2011 Technical Symposium on Computer Science Education, 2010 International Conference on Functional Programming,[5] 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. In 2009, he received the Karl V. Karlstrom Outstanding Educator Award from the ACM.[6] 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"[7] 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.

Books

Felleisen is co-author of:

References

  1. ^ "Research". Retrieved 2012-06-26.
  2. ^ Matthias Felleisen (1988). "The theory and practice of first-class prompts". Principles of Programming Languages: 180–190. doi:10.1145/73560.73576. ISBN 0-89791-252-7.
  3. ^ Queinnec, Christian (April 1994). "A library of high-level control operators". École Polytechnique and INRIA-Rocquencourt. CiteSeerX 10.1.1.29.4790. {{cite journal}}: Cite journal requires |journal= (help)
  4. ^ Sabry, Amr; Felleisen, Matthias. "Reasoning about Programs in Continuation-Passing Style". Proceedings of the 1992 ACM Conference on LISP and Functional Programming, LFP'92. San Francisco, CA, US. Sabry92. Retrieved 2012-11-16. {{cite conference}}: Unknown parameter |booktitle= ignored (|book-title= suggested) (help)
  5. ^ "ICFP 2010 Homepage". Retrieved 2012-12-18.
  6. ^ "ACM Award Citation". Archived from the original on 2012-05-04. Retrieved 2012-06-26. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  7. ^ "Programming Languages Achievement Award". Retrieved 2012-06-26.