Edsger Dijkstra

Wikipediasta
Siirry navigaatioon Siirry hakuun
Edsger Dijkstra
Edsger Wybe Dijkstra.jpg
Henkilötiedot
Syntynyt 11. toukokuuta 1930
Rotterdam, Alankomaat
Kuollut 6. 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 ([daɪkstrə], 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]

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.

Lähteet[muokkaa | muokkaa wikitekstiä]

  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) 

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]