Biografia Scotta
Dana Stewart Scott (1932-) – informatyk, logik, filozof.
Scott jest zasłużonym, emerytowanym profesorem informatyki, filozofii i logiki matematycznej. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne. Jego wspólna praca w latach 70. z Christopherem Strachey’em dała podwaliny dla semantyki języków programowania. Pracował również nad zagadnieniami logiki modalnej, topologii oraz teorii kategorii. Jest obecnie naczelnym redaktorem czasopisma Logical Methods in Computer Science.
Zobacz biografię
Na początku lat 60., już jako profesor asystujący, pracował na Uniwersytecie Kalifornijskim w Berkeley i w tym okresie zainteresował się logiką modalną, a w szczególności pasjonowała go logika temporalna. Nad tymi zagadnieniami będzie pracował dalsze 20 lat, już poza Berkeley, współpracując między innymi z Richardem Montague i John Lemmonem, dochodząc do wspólnych odkryć związanych z semantyką relacyjną.
W latach 1972-1981 Scott pracuje na Uniwersytecie Oxfordzkim, jako profesor logiki matematycznej na wydziale filozoficznym. Tu zajmował się formowaniem podłoża matematycznego dla semantyki języków programowania. Razem ze Strachey’em stworzyli nowe podejście do semantyki denotacyjnej – jednej z najbardziej wpływowych teorii w obrębię informatyki teoretycznej.
Dans S. Scott został wielokrotnie nagradzany za swój wkład w nauki informatyczne. W 1990 odebrał Ngrodę Harolda Pendera za wdrażanie koncepcji logicznych i algebraicznych w rozwój semantyki matematycznej języków programowania. W 1997 Królewska Szwedzka Akademia Nauk przyznała mu Nagrodę Rolfa Schocka w dziedzinie logiki i filozofii. W 2001 Czeska Akademia Nauk uhonorowała go Nagrodą Bolano za wkład w rozwój nauk matematycznych. Oficjalnie karierę profesorską Scott zakończył w 2003 na Uniwersytecie Carnegie Mellon w Pittsburghu, w stanie Pennsylvania.
