Matthias Felleisen - Matthias Felleisen
Matthias Felleisen | |
|---|---|
 Felleisen falando no Simpósio sobre Princípios de Linguagens de Programação em Madrid, Espanha em 2010
| |
| Nascer | Alemanha |
| Cidadania | Estados Unidos |
| Educação |
Ph.D. , Indiana University (1984-1987), Diplom. Wi. Ing., Technische Universität Karlsruhe (1978-1983), Mestre em Ciências , University of Arizona , Tucson (1980-1981) |
| Conhecido por | Fundador da PLT , semântica operacional , segurança de tipo , continuações , digitação gradual , forma A-normal |
| Prêmios | Prêmio ACM Karl V. Karlstrom, Companheiro ACM |
| Carreira científica | |
| Campos | Cientista da computação |
| Instituições |
Rice University Northeastern University |
| Tese | Os Cálculos da Conversão Lambda_v-CS: Uma Teoria Sintática de Controle e Estado em Linguagens de Programação de Ordem Superior Imperativa |
Matthias Felleisen é um autor e professor de ciência da computação alemão-americano . Ele cresceu na Alemanha e imigrou para os Estados Unidos quando tinha 21 anos. Ele recebeu seu PhD pela Indiana University sob a direção de Daniel P. Friedman .
Depois de servir como professor por 14 anos no Departamento de Ciência da Computação da Rice University , Felleisen mudou-se para o Khoury College of Computer Sciences da Northeastern University em Boston , Massachusetts . Lá, ele atualmente atua como um professor curador.
Os interesses de Felleisen incluem linguagens de programação, incluindo ferramentas de software, design de programa, a Receita de Design, contratos de software e muito mais. Na década de 1990, a Felleisen lançou o PLT e o TeachScheme! (mais tarde ProgramByDesign e eventualmente dando origem ao projeto Bootstrap) com o objetivo de ensinar princípios de design de programas para iniciantes e explorar o uso de Scheme para produzir grandes sistemas. Como parte desse esforço, ele escreveu How to Design Programs ( MIT Press , 2001) com Findler , Flatt e Krishnamurthi .
Para sua dissertação, Felleisen desenvolveu uma nova forma de semântica operacional para linguagens funcionais de ordem superior com extensões imperativas (estado, controle). A Parte I de "Engenharia Semântica com PLT Redex") é derivada de sua dissertação. Sua aplicação mais conhecida é para uma prova de segurança de tipo , elaborada com seu aluno de doutorado Andrew Wright.
Os delimitadores de controle, a base das continuações delimitadas , foram introduzidos por Felleisen em 1988. Desde então, eles têm sido usados em muitos domínios, particularmente na definição de novos operadores de controle ; consulte Queinnec para uma pesquisa.
A forma normal (ANF), uma representação intermediária de programas em compiladores funcionais, foi introduzida por Sabry e Felleisen em 1992 como uma alternativa mais simples ao estilo de passagem de continuação (CPS). Uma implementação no compilador CAML demonstrou a utilidade de sua utilidade prática e popularizou a ideia
Com Findler, Felleisen desenvolveu a noção de contratos de ordem superior. Com esses contratos, os programadores podem expressar afirmações sobre o comportamento de funções, objetos, classes e módulos de primeira classe. O trabalho de Felleisen na digitação gradual foi uma continuação direta de seu trabalho nesses contratos; Veja abaixo.
Em apoio ao TeachScheme! projeto, Felleisen e sua equipe de Findler , Flatt e Krishnamurthi projetaram e implementaram a linguagem de programação Racket ., Racket (nee PLT Scheme). A ideia era criar uma linguagem de programação com a qual seria fácil construir rapidamente linguagens pedagógicas para alunos novatos - uma linguagem de programação programável Flatt continua sendo o arquiteto líder do esforço do Racket até hoje.
Esta linguagem de programação Racket desempenhou um papel fundamental no recente desenvolvimento da digitação gradual . Em 2006, Felleisen e seu aluno de PhD Sam Tobin-Hochstadt iniciaram o projeto Typed Racket com o objetivo de permitir que os desenvolvedores migrem o código de uma linguagem de programação não digitada para a mesma sintaxe enriquecida com um sistema de tipo de som. A linguagem Typed Racket foi a primeira a totalmente implementar e apoiar a ideia de "digitar gradualmente" uma base de código e permanecer em desenvolvimento ativo.
Felleisen fez os discursos principais no Simpósio Técnico de Educação em Ciência da Computação de 2011, Conferência Internacional de Programação Funcional de 2010, Conferência Europeia de Programação Orientada a Objetos de 2004 e Simpósio de 2001 sobre Princípios de Linguagens de Programação , e várias outras conferências e workshops sobre ciência da computação.
Em 2006, ele foi nomeado membro da Association for Computing Machinery . Em 2009, ele recebeu o Prêmio Karl V. Karlstrom de Educador Extraordinário da ACM . Em 2010, ele recebeu o Prêmio SIGCSE de Contribuição Extraordinária para a Educação em Ciência da Computação da ACM. Em 2012, ele recebeu o prêmio ACM SIGPLAN Programming Languages Achievement por "contribuição significativa e duradoura para o campo das linguagens de programação", incluindo semântica operacional de pequenas etapas para controle e estado, classes e módulos mixin, uma semântica totalmente abstrata para PCF sequencial, técnicas de programação da web, contratos de ordem superior com culpa e tipagem estática para linguagens dinâmicas.
Livros
Felleisen é co-autor de:
- Realm Of Racket (No Starch Press, 2013)
- Engenharia Semântica com PLT Redex (MIT Press, 2010)
- Como projetar programas (MIT Press, 2001)
- A Little Java, A Few Patterns (MIT Press, 1998)
- The Little MLer (MIT Press, 1998)
- The Little Schemer (MIT Press, 4ª Ed., 1996)
- The Seasoned Schemer (MIT Press, 1996)