Prix Turing·1976

Dana S. Scott

mathématicien et informaticien américain

Domaines d'étude

langage de programmationlogique mathématiqueprogrammationsémantiquethéorie des automatesthéorie des modèlestopologietreillis

Pays

États-Unis