CIENTISTAS DA COMPUTAÇÃO
Dana Scott
Semântica de linguagens de programação
Dana Scott desenvolveu, com Christopher Strachey, a semântica denotacional — uma forma matemática de atribuir significado preciso a programas. Também criou, com Michael Rabin, o modelo de autômatos finitos não determinísticos, e propôs a teoria de domínios, base para formalizar tipos de dados recursivos.
Conexão com a sala de aula: Quando um tipo de dado é definido recursivamente, como uma lista que contém outra lista, a teoria de Scott explica por que essa definição faz sentido matematicamente.