wtorek,
Dana Stewart Scott
11 października 1932 roku urodził się amerykański informatyk Dana Stewart Scott. W 1976 roku za pracę „Finite Automata and Their Decision Problem” wraz z Michaelem Rabinem otrzymał nagrodę Turinga – informatyczny odpowiednik Nobla.
Dana Scott w swojej pracy badawczej zajmował się informatyką, filozofią i logiką matematyczną. W latach 60. pracował na Uniwersytecie Kalifornijskim w Berkeley. W tym okresie zajmował się głównie logiką modalną, prace te kontynuował w kolejnych latach. W 1972 roku został profesorem logiki matematycznej na wydziale filozoficznym Uniwersytetu Oksfordzkiego, gdzie we współpracy z Christopherem Stracheyem stworzył matematyczne podstawy dla semantyki języków programowania. W czasach swojej pracy w Oksfordzie był laureatem wielu prestiżowych nagród, w tym nagrody Turinga.
Od 1981 roku był pracownikiem Carnegie Mellon University w Pittsburghu. W 2003 Dana Scott zakończył karierę naukową i przeszedł na emeryturę. Do dziś bierze udział w konferencjach informatycznych i publikuje artykuły w prasie specjalistycznej.
