Edsger Dijkstra

Edsger Dijkstra
Henkilötiedot
Syntynyt11. toukokuuta 1930
Rotterdam, Alankomaat
Kuollut6. elokuuta 2002 (72 vuotta)
Nuenen, Alankomaat
Koulutus ja ura
Väitöstyön ohjaaja Adriaan van Wijngaarden
Tutkimusalue tietojenkäsittelytiede
Palkinnot Turing-palkinto

Edsger Wybe Dijkstra [ˈdɛikstra] (11. toukokuuta 1930 Rotterdam, Alankomaat6. elokuuta 2002 Nuenen, Alankomaat[1]) 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.[2][3] Eindhovenin yliopistossa hän johti ryhmää, joka toteutti THE-käyttöjärjestelmän.[1] Turing-palkinnon hän sai 1972.[1]

Vuonna 1968 Dijkstra kirjoitti artikkelin Go To Statement Considered Harmful GOTO-käskystä.[4] 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).[4] 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

  1. a b c Edsger Wybe Dijkstra ACM. Viitattu 11.8.2019. (englanniksi) 
  2. http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF
  3. Semaphores (PDF) pages.cs.wisc.edu. Viitattu 11.8.2019. (englanniksi) 
  4. a b Edsger W. Dijkstra: Letters to the editor: go to statement considered harmful dl.acm.org. maaliskuu 1968. doi:10.1145/362929.362947 Viitattu 22.10.2022. (englanniksi)

Aiheesta muualla