Przejdź do treści

Centrum Kształcenia Zawodowego i Ustawicznego w Mrągowie

Dana Stewart Scott

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.

Artykuł: Marc Andreessen

Marc Andreessen

Artykuł: Zakończenie staży

Zakończenie staży

Artykuł: Brendan Eich

Brendan Eich

Artykuł: Nvidia GeForce 200

Nvidia GeForce 200

Artykuł: Pierwszy dzień w Splicie

Pierwszy dzień w Splicie

Nasze technikum

Technik informatyk

Szkoły dla dorosłych

Nasza szkoła

Pełna oferta edukacyjna

Oferta szkoły