Edsger W. Dijkstra

Edsger W. Dijkstra, 2002

Edsger Wybe Dijkstra ( ˈɛtˌsxər 'ʋibə ˈdɛɪkˌstra słuchać ^{? / I} ; *  11 maja 1930 w Rotterdamie ; †  6 sierpnia 2002 w Nuenen ) był holenderskim informatykiem . Był pionierem programowania strukturalnego . W 1972 roku otrzymał nagrodę Turinga za fundamentalny wkład w rozwój języków programowania .

Życie

Edsger Dijkstra urodził się jako syn chemika i matematyka . Po ukończeniu gimnazjum Erasmianum w Rotterdamie, od 1948 r . Studiował matematykę i fizykę teoretyczną na Uniwersytecie w Leiden . W 1951 r. Uzyskał tytuł licencjata, a następnie uczęszczał na kurs programowania u Maurice'a V. Wilkesa na Uniwersytecie Cambridge . Kontynuował naukę w Lejdzie, ale od tego czasu pracował w Mathematisch Centrum (dziś Centrum Wiskunde & Informatica - Centrum Matematyki i Informatyki) w Amsterdamie . Jego przełożonym był dyrektor Adriaan van Wijngaarden , który również przekonał go, aby całkowicie przeszedł na programowanie, zamiast zajmować się fizyką teoretyczną na pełnych obrotach. W 1956 roku uzyskał tytuł magistra i rozpoczął pracę w Mathematisch Centrum na etacie. Dijkstra jest znany jako pierwszy programista w Holandii i napisał swoją pracę doktorską w 1959 roku na Uniwersytecie w Amsterdamie na temat Electrologica X1 opracowanego przez Mathematisch Centrum , którego podstawowe oprogramowanie napisał.

W 1962 roku Dijkstra został profesorem matematyki na Politechnice w Eindhoven . Nie chciał zajmować krzeseł informatycznych, które były już oferowane gdzie indziej, ponieważ nie widział do tego wystarczających podstaw naukowych. Niemniej jednak zaoferował swoim studentom możliwość specjalizacji w przedmiotach informatycznych po ukończeniu studiów matematycznych przez co najmniej trzy lata. Nadal uważał, że dyplom z informatyki powinien mieć silny charakter matematyczny, a kurs wprowadzający w programowaniu powinien być formalnym wydarzeniem matematycznym wolnym od języków programowania. Od 1973 roku swoją pracę na uniwersytecie ograniczył do profesury nadzwyczajnej, reprezentowanej przez założony przez siebie Eindhoven Tuesday Afternoon Club , gdzie we wtorkowe popołudnia omawiał z kolegami problemy naukowe i najnowsze publikacje oraz został etatowym pracownikiem naukowym. z tym Burroughs Corporation . W 1984 roku przeniósł się do Schlumberger Centennial Chair in Computer Sciences na University of Texas w Austin . W 1999 roku przeszedł na emeryturę .

Dijkstra zmarł na raka w swoim domu w Nuenen. Pozostawił żonę Rię, którą poślubił w 1957 roku, oraz troje dzieci.

Wśród jego doktorantów są Arie Habermann i Martin Rem .

działać

Jego wkład w informatykę obejmuje algorytm Dijkstry do obliczania najkrótszej ścieżki na wykresie (opublikowany w trzystronicowym artykule w 1959 r.), Pierwsze wprowadzenie semaforów do synchronizacji między wątkami i związany z tym problem filozoficzny , a także algorytm bankowy . Opracował także algorytm manewrowania , algorytm konwersji terminów matematycznych z notacji wrostków na odwrotną notację polską lub abstrakcyjne drzewo składniowe .

Opierając się na tym doświadczeniu, zaprojektował wielozadaniowy system operacyjny THE (po Technische Hogeschool Eindhoven ), który stał się znany ze swojej warstwowej struktury. Niklaus Wirth relacjonuje, że w trakcie tej pracy Dijkstra zdał sobie sprawę, że nie nadaje się do pracy zespołowej i od tej pory pracował tylko sam.

Pod koniec lat pięćdziesiątych Dijkstra był zaangażowany w projektowanie Algol 60 , aw 1960 roku ukończył pierwszy kompilator do niego. Zaprojektował również algorytm sortowania Smoothsort i ponownie odkrył algorytm Prim (również algorytm Prim-Dijkstra lub algorytm Jarnika, Prim i Dijkstry ).

Dijkstra napisał ponad 1300 rękopisów o charakterze zawodowym i prywatnym, które skopiował i wysłał pocztą do kilku kolegów, ale w większości nie opublikował. Dziś wiele z tych tak zwanych manuskryptów EWD (od jego inicjałów) jest zgromadzonych w archiwum internetowym. Napisał ponad 500 raportów naukowych dla Burroughs Corporation. Jego najpopularniejszym traktatem jest Idź do stwierdzenia uważany za szkodliwy na polecenie Goto i dlaczego nie powinien być używany. Wprowadził koncepcję programowania strukturalnego do informatyki i w swoim wykładzie The Humble Programmer w Turingu spopularyzował koncepcję kryzysu oprogramowania , którą podjął tam jako regularny mówca w Międzynarodowej Letniej Szkole Friedricha L. Bauera w Marktoberdorf .

Nagrody (wybór)

• 1971: Członek Królewskiej Holenderskiej Akademii Nauk
• 1971: Distinguished Fellow of the British Computer Society
• 1972: Nagroda Turinga
• 1975: Honorowy członek zagraniczny American Academy of Arts and Sciences
• 1976: doktorat honoris causa Queen's University w Belfaście
• 1982: Nagroda IEEE Computer Pioneer Award
• 2001: doktorat honoris causa Uniwersytetu Ekonomicznego w Atenach
• 2002: C & C nagroda z NEC Corporation
• 2002: Dijkstra Prize , PODC Influential Paper Award, nazwana na jego cześć po jego śmierci.

Czcionki (wybór)

• Uwaga na temat dwóch problemów związanych z wykresami . Numerical Mathematics 1 (1959), s. 269–271
• Przejdź do stwierdzenia uważanego za szkodliwe . Komunikaty ACM 11, 3 (1968), str. 147-148 ( PDF )
• Współpracujące procesy sekwencyjne . W: F. Genuys (red.): Języki programowania: NATO Advanced Study Institute . Academic Press, 1968, s. 43–112.
• Z Ole-Johanem Dahlem i Tonym Hoare'em : Programowanie strukturalne . Academic Press, Londyn, 1972, ISBN 0-12-200550-3 (zawiera również uwagi o programowaniu strukturalnym, napisane w 1970 r. I wcześniej niepublikowane )
• Wybrane pisma o komputerach: osobista perspektywa . Springer NY (1982)
• Z Carelem S. Scholtenem: Predicate Calculus and Program Semantics . Springer-Verlag, 1990, ISBN 0-387-96957-8

linki internetowe

• Archiwum EW Dijkstry . Jego rękopisy (w tym pamiętniki) i inne publikacje, życiorysy, nekrologi, filmy (w języku angielskim)

Indywidualne dowody

1. ↑ Christian Kirsch: pionier IT Edsger Dijkstra nie żyje . In: heise online . 7 sierpnia 2002
2. ↑ Edsger W. Dijkstra in the Mathematics Genealogy Project (angielski)Szablon: MathGenealogyProject / Maintenance / id used
3. ^ Edsger W. Dijkstra: Listy do redaktora: Przejdź do stwierdzenia uważanego za szkodliwe. . W: ACM (red.): Komunikacja ACM . 11, nr 3, marzec 1968, ISSN  0001-0782 , strony 147-148. doi : 10.1145 / 362929.362947 .