Edsger Dijkstra

Edsger Wybe Dijkstra [ˈdɛikstra] (11. toukokuuta 1930 Rotterdam, Alankomaat – 6. elokuuta 2002 Nuenen, Alankomaat) oli hollantilainen tietojenkäsittelyteoreetikko.

Dijkstra opiskeli teoreettista fysiikkaa Leidenin yliopistossa. Hän työskenteli tutkijana Burroughs Corporationissa 1970-luvun alussa. Hän työskenteli Eindhovenin teknillisessä yliopistossa Alankomaissa ja vuodesta 1984 Texasin yliopistossa Austinissa Yhdysvalloissa. Dijkstra jäi eläkkeelle vuoden 1999 marraskuussa.

Hänen tunnetuin saavutuksensa lienee Dijkstran algoritmina tunnettu graafialgoritmi. Dijkstra käytti myös ensimmäistä kertaa esimerkkiä ”aterioivista filosofeista” esimerkkinä synkronoimisongelmasta vuonna 1965. Dijkstra myös esitteli semaforien konseptin. Eindhovenin yliopistossa hän johti ryhmää, joka toteutti THE-käyttöjärjestelmän. Turing-palkinnon hän sai 1972.

Vuonna 1968 Dijkstra kirjoitti artikkelin Go To Statement Considered Harmful GOTO-käskystä. Dijkstran mukaan samanlaisia ehdotuksia GOTO:n rajoittamiseksi ovat esittäneet myös Niklaus Wirth ja C. A. R. Hoare vuonna 1966 ALGOLiin liittyen (artikkelissa A contribution to the development of ALGOL). Dijkstran kirjoitus on muodostunut klassikoksi tietojenkäsittelytieteessä. 

Dijkstra oli mukana ryhmässä, joka toteutti ensimmäisen ALGOL 60 -kääntäjän. 1970-luvulta lähtien Dijkstran tutkimus keskittyi ohjelmien formaaliin verifiointiin, ohjelman oikeellisuuden todentamiseen formaaleilla menetelmillä.

Dijkstra kuoli syöpään 6. elokuuta 2002 pitkällisen sairauden jälkeen.

Lähteet

Aiheesta muualla 

 Dijkstra, E. W.: Go To Statement Considered Harmful . Communications of the ACM, Vol. 11 (1968) 147–148. 
 Edsger W. Dijkstra: The Structure of the "THE"-Multiprogramming System (PDF) 
 Dijkstran julkaisukokoelma. 
 

Tietotekniikan kehittäjät
Tietojenkäsittelytieteilijät
Alankomaalaiset tieteilijät
Vuonna 1930 syntyneet
Vuonna 2002 kuolleet
Turing-palkinnon saajat