Edsger Dijkstra
Wikipedia
Edsger Wybe Dijkstra (s. 11. toukokuuta 1930, Rotterdam, k. 6. elokuuta 2002, Nuenen) oli hollantilainen tietojenkäsittelyteoreetikko.
Dijkstra opiskeli teoreettista fysiikkaa Leidenin yliopistolla. Hän työskenteli tutkijana Burroughs Corporationille 1970-luvun alussa. Hän työskenteli Eindhovenin yliopistolla Alankomaissa ja vuodesta 1984 University of Texas at Austinissa Yhdysvalloissa. Dijkstra jäi eläkkeelle vuoden 1999 marraskuussa.
Hänen tunnetuin saavutuksensa lienee Dijkstran algoritmina tunnettu graafialgoritmi. Hän sai Turing-palkinnon 1972. Dijkstra käytti myös ensimmäistä kertaa esimerkkiä "aterioivista filosofeista" esimerkkinä synkronoimisongelmasta vuonna 1965.
Dijkstra oli mukana ryhmässä, joka toteutti ensimmäisen ALGOL 60 -kääntäjän. Hänen kantansa GOTO-käskystä on sittemmin muodostunut klassikoksi, tosin sen otsikon "Go To Statement Considered Harmful" keksi Niklaus Wirth. 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.
[muokkaa] Aiheesta muualla
- E.W. Dijkstra, Go To Statement Considered Harmful, Communications of the ACM, Vol. 11 (1968) 147-148; online edition
- Dijkstran julkaisukokoelma
