fbpx
Wikipedia

Matthias Felleisen

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 under the direction of Daniel P. Friedman.

Matthias Felleisen
Born
Germany
CitizenshipUnited States
EducationPh.D., Indiana University (1984-1987)
Diplom. Wi. Ing., Technische Universität Karlsruhe (1978-1983)
Master of Science, University of Arizona, Tucson (1980-1981)
Known forFounder of PLT, operational semantics, type safety, continuations, gradual typing, A-normal form
Awardsthe ACM Karl V. Karlstrom Award, ACM Fellow
Scientific career
FieldsComputer scientist
InstitutionsRice University
Northeastern University
Thesis The Calculi of Lambda_v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages

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 software tools, program design, software contracts, and many more.[1] In the 1990s, Felleisen launched PLT and TeachScheme! (later ProgramByDesign and eventually giving rise to the Bootstrap project [2]) 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.

Awards and honors edit

Felleisen gave the keynote addresses at the 2011 Technical Symposium on Computer Science Education, 2010 International Conference on Functional Programming,[3] 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.[4] In 2010, he received the 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"[5] 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).[6]

Books edit

Felleisen is co-author of:

  • Realm Of Racket ISBN 9781593274917 (No Starch Press, 2013)
  • Semantics Engineering with PLT Redex ISBN 978-0-262-06275-6 (MIT Press, 2009)
  • How to Design Programs (MIT Press, 2001, 2nd Ed. 2018)
  • A Little Java, A Few Patterns ISBN 0-262-56115-8 (MIT Press, 1998)
  • The Little MLer ISBN 0-262-56114-X (MIT Press, 1998)
  • The Little Schemer ISBN 0-262-56099-2 (MIT Press, 4th Ed., 1996)
  • The Seasoned Schemer ISBN 0-262-56100-X (MIT Press, 1996)
  • The Little Lisper ISBN 0-262-56038-0 (MIT Press, 1987)

References edit

  1. ^ "Research". Retrieved 2012-06-26.
  2. ^ "Bootstrap World". Retrieved 2019-05-31.
  3. ^ "ICFP 2010 Homepage". Retrieved 2012-12-18.
  4. ^ . Archived from the original on 2012-05-04. Retrieved 2012-06-26.
  5. ^ "Programming Languages Achievement Award". Retrieved 2012-06-26.
  6. ^ "Programming Languages Software Award". www.sigplan.org. Retrieved 2024-02-12.

External links edit

  • Matthias at Northeastern University
  • Khoury College of Computer Sciences at Northeastern University

matthias, felleisen, german, american, computer, science, professor, author, grew, germany, immigrated, twenties, received, from, indiana, university, under, direction, daniel, friedman, felleisen, speaking, symposium, principles, programming, languages, madri. 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 under the direction of Daniel P Friedman Matthias FelleisenFelleisen speaking at the Symposium on Principles of Programming Languages in Madrid Spain in 2010BornGermanyCitizenshipUnited StatesEducationPh D Indiana University 1984 1987 Diplom Wi Ing Technische Universitat Karlsruhe 1978 1983 Master of Science University of Arizona Tucson 1980 1981 Known forFounder of PLT operational semantics type safety continuations gradual typing A normal formAwardsthe ACM Karl V Karlstrom Award ACM FellowScientific careerFieldsComputer scientistInstitutionsRice UniversityNortheastern UniversityThesisThe Calculi of Lambda v CS Conversion A Syntactic Theory of Control and State in Imperative Higher Order Programming Languages 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 software tools program design software contracts and many more 1 In the 1990s Felleisen launched PLT and TeachScheme later ProgramByDesign and eventually giving rise to the Bootstrap project 2 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 Contents 1 Awards and honors 2 Books 3 References 4 External linksAwards and honors editFelleisen gave the keynote addresses at the 2011 Technical Symposium on Computer Science Education 2010 International Conference on Functional Programming 3 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 4 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 5 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 6 Books editFelleisen is co author of Realm Of Racket ISBN 9781593274917 No Starch Press 2013 Semantics Engineering with PLT Redex ISBN 978 0 262 06275 6 MIT Press 2009 How to Design Programs MIT Press 2001 2nd Ed 2018 A Little Java A Few Patterns ISBN 0 262 56115 8 MIT Press 1998 The Little MLer ISBN 0 262 56114 X MIT Press 1998 The Little Schemer ISBN 0 262 56099 2 MIT Press 4th Ed 1996 The Seasoned Schemer ISBN 0 262 56100 X MIT Press 1996 The Little Lisper ISBN 0 262 56038 0 MIT Press 1987 References edit Research Retrieved 2012 06 26 Bootstrap World Retrieved 2019 05 31 ICFP 2010 Homepage Retrieved 2012 12 18 ACM Award Citation Archived from the original on 2012 05 04 Retrieved 2012 06 26 Programming Languages Achievement Award Retrieved 2012 06 26 Programming Languages Software Award www sigplan org Retrieved 2024 02 12 External links editMatthias at Northeastern University Khoury College of Computer Sciences at Northeastern University Retrieved from https en wikipedia org w index php title Matthias Felleisen amp oldid 1222379361, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.