Narození |
11. května 1930 Rotterdam |
---|---|
Smrt |
6. srpna 2002 Nuenen |
Jméno v rodném jazyce | Edsger Wybe Dijkstra |
Státní příslušnost | holandský |
Výcvik |
University of Texas at Austin Gymnasium Erasmianum ( in ) (do1948) University of Leiden (do1956) University of Amsterdam ( Philosophiæ doctor ) (do1959) |
Činnosti | Matematik , fyzik , počítačový vědec , inženýr , univerzitní profesor |
Pracoval pro | University of Texas at Austin (1984-1999) , Burroughs Corporation (1973-1984) , Radboud University of Nijmegen (1971-1972) , Eindhoven University of Technology (1962-1984) , Centrum voor Wiskunde en Informatica (1952-1962) |
---|---|
Pole | Informační věda ( v ) |
Člen |
Nizozemská královská akademie umění a věd Americká asociace akademie umění a věd pro výpočetní techniku |
Dozorce | Adriaan van Wijngaarden (1959) |
Ocenění |
Turingova cena (1972) |
Dijkstrův algoritmus THE Operating system Semaphore |
Edsger Wybe Dijkstra (výslovnost: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), narozen v Rotterdamu dne11. května 1930a zemřel v Nuenenu dne6. srpna 2002Je matematik a počítačový vědec Dutch XX th století . V roce 1972 získal na cenu Turing pro jeho příspěvky k vědě a umění programovacích jazyků a Algol jazyka . Těsně před svou smrtí v roce 2002 , získal PoDC vlivný článek ocenění za jeho práci na vlastní stabilizaci . Rok po jeho smrti bude cena na jeho počest přejmenována na Dijkstra Prize .
Po studiu teoretické fyziky začal v roce 1955 pracovat v tehdy rodící se oblasti informatiky , kde byl jedním z nejosvícenějších průkopníků.
Dijkstra měl velmi čitelný rukopis a navzdory svému oboru činnosti vždy odmítal používat textový procesor, upřednostňoval kopírovaný ručně psaný dopis. Luca Cardelli vytvořil na jeho počest obsazení „Dijkstra“, které napodobuje jeho pravidelné psaní. Dijkstra by odkazoval na všechna svá písmena jako EWD následovaná číslem, posledním je písmeno EWD 1318 .
Učitel na Technické univerzitě v Eindhovenu začal o sobě dávat vědět v oblasti systémů s THE Operating system , systémem postaveným v po sobě jdoucích vrstvách abstrakce a ideálním pro výuku („THE“ je slovní hříčka na zkratce její univerzity Technische Hogeschool Eindhoven , Polytechnic Eindhoven). Se zkušeností s psaním tohoto systému formalizoval koncept semaforu , než byl rozptýlený, a poté představil koncept „kritické sekce“ se dvěma příklady, které se staly klasickými: problém čtenářů a spisovatelů a večeře filozofů. .
Berouce na vědomí škody způsobené nekontrolovaným používáním instrukce goto programování, napsal v roce 1968 k článku Komunikace ACM nazvanou „ Případ proti prohlášení GOTO “ ( „Soud proti prohlášení GOTO“ ). Redaktor Niklaus Wirth, který chtěl článek rychle zveřejnit jako dopis redaktorovi, jej přejmenoval na „ Přejít na prohlášení považováno za škodlivé “.
Tento nový název, stejně jako předmět článku, se poté proslavil ve světě IT. Názvy formuláře „ X považováno za škodlivé “ se vynásobí, dokud se jeden „ Dijkstra nepovažuje za škodlivý “ “.
Instrukce goto je rychle marginalizována a téměř eliminována strukturovaným programováním (koncept Wirth a Dijkstra, představený mimo jiné v EWD 268 ). Ve strukturovaném programování je goto nahrazeno příkazy jako if… then… else… , zatímco… do , repeat… dokud nebyly zavedeny Wirthem v Algol W : každý příkaz obsahuje jeden vstup a jeden výstup, což nakonec umožňuje vyčerpávající systematické testy nejsou možné u „ špagetového kódu “.
Podmínky lze také uvalit na jeden vstup a charakteristiky postulované na jediném výstupu, což otevírá dveře nástrojům přidaným do syntaxe, jako je assert (viz Hoareova logika ) a později smluvní programování jazyka Eiffel .
Koncem padesátých let hrála Dijkstra důležitou roli ve vývoji jazyka Algol a následně rozvinula „vědu a umění programovacích jazyků“ , čímž významně přispěla k pochopení jejich struktury, zastoupení a implementace. Je také stoupencem nádherného algoritmu, a to i pro předměty, se kterými je obtížné se vypořádat ve strukturovaném programování, jako jsou korálky Dijkstra (korálky tří barev umístěte na vlákno jeden po druhém, aby nikdy neexistovaly dvě stejné sousední sekvence).
Rovněž stojí u vzniku stejnojmenného algoritmu, Dijkstrova algoritmu , který umožňuje vypočítat nejkratší cesty v orientovaném grafu .
Slavný byl i jeho projev z roku 1972, kdy obdržel Turingovu cenu , Skromný programátor . Je to také cvičení sebesmluvy , protože profesor Dijkstra si vždy velmi dobře uvědomoval hodnotu své práce.
V roce 1974 Dijkstra publikoval zakládající článek o autostabilizaci , vlastnost distribuovaného systému, aby po jakémkoli přechodném selhání získal správné chování. V roce 2002 získal za tento článek cenu vlivného článku PoDC . Brzy poté zemřel. Následující rok byla tato cena na jeho počest přejmenována na Dijkstraovu cenu .
Dijkstra, známý svou obtížnou povahou a neústupností, byl proslulý svými aforismy , které ztělesňovaly jeho pohled na informatiku.