Matthias Felleisen
Matthias Felleisen
Matthias Felleisen
Matthias Felleisen
Labs and Groups
Labs and Groups
Research Interests
- Programming languages
- Software engineering
Education
- PhD in Computer Science, Indiana University
- MS, The University of Arizona
- BS in Industrial Engineering, Universität Karlsruhe – Germany
Biography
Matthias Felleisen, a trustee professor at Northeastern University’s Khoury College of Computer Sciences, has spent 30 years exploring programming languages and the pedagogy of software development. After earning his doctorate from Indiana University in 1987, he launched his academic career at Rice University; in 2001, he moved to Northeastern University.
For the first decade of his career, Felleisen developed a new theoretical framework for modeling programming languages. Over time, this framework has provided the most widely used technique for proving type soundness theorems, the fundamental correctness claims for programming languages.
In 1995, Felleisen launched two related projects: (1) a K-12 outreach project with the goal of synthesizing mathematics and programming education and (2) the Racket language design project in support of the outreach project. He and his team taught dozens of intensive five-day teacher training workshops over 20 years, focusing on program design as systematic problem solving. Working with Northeastern undergraduates, they created the Bootstrap curriculum for middle schools; the curriculum was adopted by code.org. The team’s Racket programming language became a test bed for language design ideas. The language is used in many applications, from Department of Defense software to Naughty Dog’s games.
For his research on programming languages, Felleisen was inducted as an ACM Fellow in 2006 and received ACM SIGPLAN’s Achievement Award in 2012. His paper on contracts for higher-order languages was picked as the most influential ICFP 2002 publication, and he has delivered keynote addresses at many programming language conferences. For his educational outreach, ACM honored Felleisen with the Karl V. Karlstrom Award in 2010. ACM SIGCSE named him Outstanding Educator of the Year in 2011. In conjunction with the latter, he delivered the keynote at the annual Symposium on Computer Science Education.
Research Interests
- Programming languages
- Software engineering
Education
- PhD in Computer Science, Indiana University
- MS, The University of Arizona
- BS in Industrial Engineering, Universität Karlsruhe – Germany
Biography
Matthias Felleisen, a trustee professor at Northeastern University’s Khoury College of Computer Sciences, has spent 30 years exploring programming languages and the pedagogy of software development. After earning his doctorate from Indiana University in 1987, he launched his academic career at Rice University; in 2001, he moved to Northeastern University.
For the first decade of his career, Felleisen developed a new theoretical framework for modeling programming languages. Over time, this framework has provided the most widely used technique for proving type soundness theorems, the fundamental correctness claims for programming languages.
In 1995, Felleisen launched two related projects: (1) a K-12 outreach project with the goal of synthesizing mathematics and programming education and (2) the Racket language design project in support of the outreach project. He and his team taught dozens of intensive five-day teacher training workshops over 20 years, focusing on program design as systematic problem solving. Working with Northeastern undergraduates, they created the Bootstrap curriculum for middle schools; the curriculum was adopted by code.org. The team’s Racket programming language became a test bed for language design ideas. The language is used in many applications, from Department of Defense software to Naughty Dog’s games.
For his research on programming languages, Felleisen was inducted as an ACM Fellow in 2006 and received ACM SIGPLAN’s Achievement Award in 2012. His paper on contracts for higher-order languages was picked as the most influential ICFP 2002 publication, and he has delivered keynote addresses at many programming language conferences. For his educational outreach, ACM honored Felleisen with the Karl V. Karlstrom Award in 2010. ACM SIGCSE named him Outstanding Educator of the Year in 2011. In conjunction with the latter, he delivered the keynote at the annual Symposium on Computer Science Education.
Projects
Projects
Recent Publications
Recent Publications
Khoury PhD Students
Khoury PhD Students
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...