Prix Turing · 1976

Dana S. Scott

mathématicien et informaticien américain

Domaines d'étude

théorie des automatestreillisthéorie des modèleslogique mathématiqueprogrammationtopologiesémantiquelangage de programmation

Pays

États-Unis