World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
69
Citations
17228
World Ranking
1986
National Ranking
1003

Research.com Recognitions

  • 2009 - ACM Karl V. Karlstrom Outstanding Educator Award For his visionary and long-term contributions to K-12 outreach programs, innovative textbooks, and pedagogically motivated software.
  • 2006 - ACM Fellow For contributions to programming languages and development environments.

Overview

Matthias Felleisen is a researcher affiliated with Northeastern University in the United States. Their work primarily focuses on the field of Computer Science, with specific attention to areas such as Artificial Intelligence, Information Systems, and Software. Their research topics cover several specialized domains, including logic, programming, and type systems; software engineering research; advanced software engineering methodologies; model-driven software engineering techniques; software testing and debugging techniques; parallel computing and optimization techniques; and teaching and learning programming.

Felleisen's recent published papers span a variety of venues and topics. Notable papers include:

  • Macros for domain-specific languages, 2020, Proceedings of the ACM on Programming Languages
  • How to evaluate blame for gradual types, 2021, Proceedings of the ACM on Programming Languages
  • Trace contracts, 2023, Journal of Functional Programming
  • Typed-Untyped Interactions: A Comparative Analysis, 2023, ACM Transactions on Programming Languages and Systems
  • A Transient Semantics for Typed Racket, 2021, The Art Science and Engineering of Programming

The most frequent coauthors collaborating with Felleisen include Christos Dimoulas (12 joint publications), Ben Greenman (10), Lukas Lazarek (4), Sam Caldwell (4), and Tony Garnock-Jones (4). These collaborations contribute to the consistency and development of topics across their joint research outputs.

Felleisen's publication record is associated with several key venues where multiple papers have appeared. These venues include:

  • Proceedings of the ACM on Programming Languages (6 publications)
  • Zenodo (CERN European Organization for Nuclear Research) (4 publications)
  • Journal of Functional Programming (3 publications)
  • The Art Science and Engineering of Programming (3 publications)
  • arXiv (Cornell University) (2 publications)

Their contributions to programming languages and development environments were recognized in 2006 with the ACM Fellow award. In 2009, Felleisen received the ACM Karl V. Karlstrom Outstanding Educator Award, citing their work on K-12 outreach programs, innovative textbooks, and software designed with pedagogical motivations.

Best Publications

  • A Syntactic Approach to Type Soundness

    A.K. Wright;M. Felleisen

  • The essence of compiling with continuations

    Cormac Flanagan;Amr Sabry;Bruce F. Duba;Matthias Felleisen

  • The revised report on the syntactic theories of sequential control and state

    Matthias Felleisen;Robert Hieb

  • Reasoning about programs in continuation-passing style.

    Amr Sabry;Matthias Felleisen

  • Classes and mixins

    Matthew Flatt;Shriram Krishnamurthi;Matthias Felleisen

  • Contracts for higher-order functions

    Robert Bruce Findler;Matthias Felleisen

  • The call-by-need lambda calculus

    Zena M. Ariola;Matthias Felleisen

  • A call-by-need lambda calculus

    Zena M. Ariola;John Maraist;Martin Odersky;Matthias Felleisen

  • On the expressive power of programming languages

    Matthias Felleisen

  • The theory and practice of first-class prompts

    Mattias Felleisen

  • The design and implementation of typed scheme

    Sam Tobin-Hochstadt;Matthias Felleisen

  • Hygienic macro expansion

    Eugene Kohlbecker;Daniel P. Friedman;Matthias Felleisen;Bruce Duba

  • Semantics Engineering with PLT Redex

    Matthias Felleisen;Robert Bruce Findler;Matthew Flatt

  • DrScheme: a programming environment for Scheme

    Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt

  • A syntactic theory of sequential control

    Mattias Felleisen;D. P. Friedman;E. Kohlbecker;B. Duba

  • Units: cool modules for HOT languages

    Matthew Flatt;Matthias Felleisen

  • How to Design Programs

    Shriram Krishnamurthi;Robert Bruce Findler;Matthias Felleisen;Matthew Flatt

  • Interlanguage migration: from scripts to programs

    Sam Tobin-Hochstadt;Matthias Felleisen

  • Control operators, the SECD-machine, and the λ-calculus.

    Matthias Felleisen;Daniel P. Friedman

  • The calculi of lambda-nu-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages

    Matthias Felleisen

  • The Design and Implementation of Typed Scheme: From Scripts to Programs

    Sam Tobin-Hochstadt;Matthias Felleisen

Frequent Co-Authors

Matthew Flatt
Matthew Flatt University of Utah
Shriram Krishnamurthi
Shriram Krishnamurthi Brown University
Robert Bruce Findler
Robert Bruce Findler Northwestern University
Cormac Flanagan
Cormac Flanagan University of California, Santa Cruz
Jan Vitek
Jan Vitek Northeastern University
Robert Harper
Robert Harper Carnegie Mellon University
Stephanie Weirich
Stephanie Weirich University of Pennsylvania
Philip Wadler
Philip Wadler University of Edinburgh
Greg Morrisett
Greg Morrisett Cornell University
Martin Odersky
Martin Odersky École Polytechnique Fédérale de Lausanne

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open doors to a wide range of related online degrees and career pathways. Many students look for options that balance affordability, speed, and career potential. For example, those interested in management roles within tech can benefit from enrolling in one of the cheapest mba programs available online, allowing for career advancement without significant financial stress.

If you’re eager to upskill quickly, consider a 1 year masters program—perfect for building expertise fast and entering the workforce sooner. Additionally, some students prioritize both convenience and lucrative outcomes by looking into easy degrees to get online that pay well, opening the door to high-paying fields with a shorter time commitment.

For those who want to specialize further, the tech field is evolving rapidly, making advanced study essential. Specializing in artificial intelligence is increasingly popular, so exploring the best online masters in artificial intelligence can be a strategic move for long-term success. These flexible programs ensure you’re well-equipped for tomorrow’s top careers.

Best Scientists Citing Matthias Felleisen

Trending Scientists

Recently Published Articles