stringtranslate.com

Matías Felleisen

Matthias Felleisen es un profesor de informática y autor germano-estadounidense. Creció en Alemania y emigró a los EE. UU. cuando tenía veinte años. Obtuvo su doctorado en la Universidad de Indiana en Bloomington bajo la dirección de Daniel P. Friedman .

Después de desempeñarse como profesor durante 14 años en el Departamento de Ciencias de la Computación de la Universidad Rice , Felleisen se unió al Khoury College of Computer Sciences de la Universidad Northeastern en Boston, Massachusetts, como profesor fiduciario.

Los intereses de Felleisen incluyen lenguajes de programación, incluyendo herramientas de software, diseño de programas, contratos de software y muchos más. [1] En la década de 1990, Felleisen lanzó PLT y TeachScheme! (más tarde 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 sistemas grandes. Como parte de este esfuerzo, fue autor de How to Design Programs ( Massachusetts Institute of Technology Press , 2001) con Findler , Flatt y Krishnamurthi .

Premios y honores

Felleisen pronunció los discursos principales en el Simposio Técnico de 2011 sobre Educación en Ciencias de la Computación , la Conferencia Internacional de 2010 sobre Programación Funcional , [3] la Conferencia Europea de 2004 sobre Programación Orientada a Objetos 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 incluido como miembro de la Association for Computing Machinery (ACM). En 2009, recibió el Premio al Educador Destacado Karl V. Karlstrom de la ACM. [4] En 2010, recibió el Premio SIGCSE por la Contribución Destacada a la Educación en Ciencias de la Computación de la ACM. En 2012, recibió el Premio al Logro de los Lenguajes de Programación SIGPLAN de la ACM por "contribución significativa y duradera al campo de los lenguajes de programación" [5], incluyendo semántica operacional de pasos pequeños para control y estado, clases mixin 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 tipado estático para lenguajes dinámicos. En 2018, Felleisen recibió el Premio al Software de Lenguajes de Programación SIGPLAN de la ACM (junto con el resto del equipo central de Racket). [6]

Libros

Felleisen es coautor de:

Referencias

  1. ^ "Investigación" . Consultado el 26 de junio de 2012 .
  2. ^ "Bootstrap World" . Consultado el 31 de mayo de 2019 .
  3. ^ "Página de inicio de ICFP 2010" . Consultado el 18 de diciembre de 2012 .
  4. ^ "Mención de premio ACM". Archivado desde el original el 4 de mayo de 2012. Consultado el 26 de junio de 2012 .
  5. ^ "Premio al Logro en Lenguajes de Programación" . Consultado el 26 de junio de 2012 .
  6. ^ "Premio de software de lenguajes de programación". www.sigplan.org . Consultado el 12 de febrero de 2024 .

Enlaces externos