Matthias Felleisen es un profesor y autor de ciencias de la computación germano-estadounidense . Creció en Alemania y emigró a los Estados Unidos cuando tenía 21 años.
Matthias Felleisen | |
---|---|
Nació | Alemania |
Ciudadanía | Estados Unidos |
Educación | Doctor. , Universidad de Indiana (1984-1987), Diplomado. Wisconsin. Ing., Technische Universität Karlsruhe (1978-1983), Maestría en Ciencias , Universidad de Arizona , Tucson (1980-1981) |
Conocido por | Fundador de PLT , semántica operativa , seguridad de tipos , continuaciones , tipificación gradual , forma A-normal |
Premios | el premio ACM Karl V. Karlstrom, ACM Fellow |
Carrera científica | |
Campos | Científico de la computación |
Instituciones | Rice University Northeastern University |
Tesis | Los cálculos de la conversión Lambda_v-CS: una teoría sintáctica del control y el estado en lenguajes de programación imperativos de orden superior |
Después de trabajar como profesor durante 14 años en el Departamento de Ciencias de la Computación de la Universidad de Rice , Felleisen es actualmente profesor fiduciario en la Facultad de Ciencias de la Computación de Khoury en la Universidad Northeastern en Boston , Massachusetts . Recibió su doctorado de la Universidad de Indiana bajo la dirección de Daniel P. Friedman .
Los intereses de Felleisen incluyen lenguajes de programación, incluidas herramientas de software, diseño de programas, Receta de diseño, contratos de software y muchos más. [1] En la década de 1990, Felleisen lanzó PLT y TeachScheme! (ahora ProgramByDesign y eventualmente dando lugar al proyecto Bootstrap [2] ) con el objetivo de enseñar principios de diseño de programas a principiantes y explorar el uso de Scheme para producir grandes sistemas. Como parte de este esfuerzo, fue autor de How to Design Programs ( MIT Press , 2001) con Findler , Flatt y Krishnamurthi .
Para su disertación, Felleisen desarrolló semántica operativa de pequeños pasos para funcional de orden superior con extensiones imperativas (estado, control). La Parte I de "Ingeniería Semántica con PLT Redex" [3] ) se deriva de su disertación. Su aplicación más conocida es la prueba de seguridad de tipos , desarrollada con su estudiante de doctorado Andrew Wright. [4]
Los delimitadores de control, la base de las continuaciones delimitadas , fueron introducidos por Felleisen [5] en 1988. Desde entonces se han utilizado en muchos dominios, particularmente en la definición de nuevos operadores de control ; ver Queinnec [6] para una encuesta.
La forma normal (ANF), una representación intermedia de programas en compiladores funcionales, fue introducida por Sabry y Felleisen en 1992 [7] como una alternativa más simple al estilo de continuación-paso (CPS).
¡En apoyo de TeachScheme! proyecto, Felleisen y su equipo de Findler , Flatt y Krishnamurthi diseñaron e implementaron el lenguaje de programación Racket ., [8] Racket (nee PLT Scheme). La idea era crear un lenguaje de programación con el que sería fácil construir rápidamente lenguajes pedagógicos para estudiantes novatos --- un lenguaje de programación programable [9] Flatt sigue siendo el arquitecto principal del esfuerzo de Racket hasta el día de hoy.
Este lenguaje de programación Racket ha jugado un papel clave en el reciente desarrollo de la escritura gradual . En 2006, Felleisen y su estudiante de doctorado Sam Tobin-Hochstadt iniciaron el proyecto Typed Racket con el objetivo de permitir a los desarrolladores migrar código de un lenguaje de programación sin tipo a la misma sintaxis enriquecida con un sistema de tipos de sonido [10] [11] The Typed Racket language fue el primero en implementar y apoyar completamente la idea de "escribir gradualmente" una base de código y permanece en desarrollo activo.
Felleisen pronunció los discursos de apertura en el Simposio Técnico de Educación en Ciencias de la Computación de 2011, la Conferencia Internacional de Programación Funcional de 2010 , [12] la Conferencia Europea de Programación Orientada a Objetos de 2004 y el Simposio de 2001 sobre Principios de Lenguajes de Programación , y varias otras conferencias y talleres sobre Ciencias de la Computación.
En 2006, fue admitido como miembro de la Association for Computing Machinery . En 2009, recibió el Premio al Educador Destacado Karl V. Karlstrom de la ACM . [13] En 2010, recibió el Premio SIGCSE por Contribución Destacada a la Educación en Ciencias de la Computación de la ACM. En 2012, recibió el premio ACM SIGPLAN Programming Languages Achievement Award por "contribución significativa y duradera al campo de los lenguajes de programación" [14], incluida la semántica operativa de pequeños pasos para control y estado, clases mixtas y módulos mixin, una semántica completamente abstracta para PCF secuencial, técnicas de programación web, contratos de orden superior con culpa y tipificación estática para lenguajes dinámicos.
Libros
Felleisen es coautor de:
- Reino de la raqueta (No Starch Press, 2013)
- Ingeniería semántica con PLT Redex (MIT Press, 2010)
- Cómo diseñar programas (MIT Press, 2001)
- Un poco de Java, algunos patrones (MIT Press, 1998)
- El pequeño MLer (MIT Press, 1998)
- El pequeño intrigante (MIT Press, 4a ed., 1996)
- El planificador experimentado (MIT Press, 1996)
Referencias
- ^ "Investigación" . Consultado el 26 de junio de 2012 .
- ^ "Bootstrap World" . Consultado el 31 de mayo de 2019 .
- ^ "Ingeniería Semántica" . Consultado el 16 de junio de 2019 .
- ^ Wright, Andrew; Felleisen, Matthias (1994), "A Syntactic Approach to Type Soundness", Information and Computation , 115 (1): 38-94, doi : 10.1006 / inco.1994.1093
- ^ Matthias Felleisen (1988). "La teoría y la práctica de indicaciones de primera clase". Principios de lenguajes de programación : 180-190. doi : 10.1145 / 73560.73576 . ISBN 0-89791-252-7. S2CID 16705769 .
- ^ Queinnec, Christian (abril de 1994). "Una biblioteca de operadores de control de alto nivel". École Polytechnique e INRIA -Rocquencourt. CiteSeerX 10.1.1.29.4790 . Cite journal requiere
|journal=
( ayuda ) - ^ Sabry, Amr; Felleisen, Matthias. "Razonamiento sobre programas en estilo continuación-pase" . Actas de la Conferencia ACM de 1992 sobre LISP y programación funcional, LFP'92 . San Francisco, CA, EE. UU. Sabry92 . Consultado el 16 de noviembre de 2012 .
- ↑ Racket: People , consultado el 29 de octubre de 2020.
- ^ Tobin-Hochstadt, Sam; Findler, Robert; Flatt, Matthew; Krishnamurthi, Shriram; Barzilay, Eli; McCarthy, Jay; Tobin-Hochstadt, Sam. "Migración entre idiomas: de scripts a programas" . Comunicaciones de la ACM . Portland, Oregón. Felleisen18 . Consultado el 7 de noviembre de 2020 .
- ^ Tobin-Hochstadt, Sam; Felleisen, Matthias. "Migración entre idiomas: de scripts a programas" . Actas del Simposio sobre sistemas de programación orientados a objetos, volumen complementario . Portland, Oregón. Tobin-Hochstadt06 . Consultado el 6 de noviembre de 2020 .
- ^ Tobin-Hochstadt, Sam; Felleisen, Matthias. "El Diseño e Implementación de Esquema Mecanografiado" . Actas de los Principios de los lenguajes de programación . San Diego, CA. Tobin-Hochstadt08 . Consultado el 6 de noviembre de 2020 .
- ^ "Página de inicio de ICFP 2010" . Consultado el 18 de diciembre de 2012 .
- ^ "Citación Premio ACM" . Archivado desde el original el 4 de mayo de 2012 . Consultado el 26 de junio de 2012 .
- ^ "Premio al Logro de Lenguajes de Programación" . Consultado el 26 de junio de 2012 .
enlaces externos
- Matthias en Northeastern University
- Khoury College of Computer Sciences en Northeastern University