Fødsel |
11. mai 1930 Rotterdam |
---|---|
Død |
6. august 2002 Nuenen |
Navn på morsmål | Edsger Wybe Dijkstra |
Nasjonalitet | nederlandsk |
Opplæring |
University of Texas i Austin Gymnasium Erasmianum ( inn ) (til1948) University of Leiden (til1956) University of Amsterdam ( Philosophiæ doctor ) (til1959) |
Aktiviteter | Matematiker , fysiker , informatiker , ingeniør , universitetsprofessor |
Jobbet for | University of Texas i 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) |
---|---|
Felt | Informasjonsvitenskap ( in ) |
Medlem av |
Royal Netherlands Academy of Arts and Sciences American Academy of Arts and Sciences Association for Computing Machinery |
Veileder | Adriaan van Wijngaarden (1959) |
Utmerkelser |
Turing-prisen (1972) |
Dijkstras algoritme DET Operativsystemet Semaphore |
Edsger Wybe Dijkstra (uttale: [ˈɛtsxər ˈwibə ˈdɛɪkstra] ), født i Rotterdam den11. mai 1930og døde i Nuenen den6. august 2002Er en matematiker og datamaskin vitenskaps nederlandske det XX th århundre . I 1972 mottok han Turing-prisen for sine bidrag til vitenskap og kunst om programmeringsspråk og Algol- språket . Rett før sin død, i 2002 , mottok han den innflytelsesrike artikkelen prisen PoDC for sitt arbeid med selvstabilisering . Året etter hans død vil prisen bli omdøpt til hans ære til Dijkstra-prisen .
Etter å ha studert teoretisk fysikk begynte han å jobbe i det da voksende informatikkfeltet i 1955 , hvorav han var en av de mest opplyste pionerene.
Dijkstra hadde veldig leselig håndskrift og nektet alltid å bruke tekstbehandler, til tross for sitt aktivitetsfelt, og foretrakk det kopierte håndskrevne brevet. Luca Cardelli har laget en rollebesetning "Dijkstra" til ære for ham, som etterligner hans vanlige forfatterskap. Dijkstra vil henvise til alle brevene sine som EWD etterfulgt av et tall, den siste er bokstaven EWD 1318 .
En lærer ved det tekniske universitetet i Eindhoven , han begynte å gjøre seg kjent innen system med THE operativsystem , et system bygget i suksessive lag med abstraksjon og ideelt for undervisning ("THE" er et ordspill på akronymet til universitetet. Technische Hogeschool Eindhoven , Polytechnic Eindhoven). Med erfaringene med å skrive dette systemet formaliserte han konseptet, før det var diffust, av semafor, og introduserte deretter begrepet "kritisk seksjon" med to eksempler som har blitt klassiske: problemet med lesere og forfattere og middagen til filosofene. .
Merker seg skader forårsaket av ukontrollert bruk av instruksjonen goto programmering, skrev han i 1968 til Communications of the ACM artikkel han kalte " en sak mot GOTO Statement " ( "En prøve mot GOTO-setningen" ). Ønsker å raskt publisere artikkelen som et brev til redaktøren, endret redaktør Niklaus Wirth den til “ Gå til uttalelse som ansett som skadelig ”.
Denne nye tittelen, samt artikkelen, ble så kjent i IT-verdenen. Titlene på skjemaet " X anses skadelig " multipliseres, til en " Dijkstra anses skadelig " ".
Den goto instruksjonen er raskt utstøtt og nesten eliminert, ved strukturert programmerings (begrepet Wirth og Dijkstra, presentert blant annet i EWD 268 ). I strukturert programmering, goto erstattes med uttalelser som hvis ... da ... ellers ... , mens ... gjøre , gjentar ... før som ble introdusert av Wirth i Algol W : hver setning inneholder en enkelt inngang og én utgang, som gjør endelig mulig uttømmende systematiske tester ikke mulig med " spaghetti-koden ".
Betingelser kan også pålegges enkeltinngang og egenskaper postulert på enkeltutgang, noe som åpner døren til verktøy lagt til syntaksen, for eksempel påstand (se Hoares logikk ) og senere for kontraktprogrammering av Eiffelspråket .
Dijkstra hadde spilt en viktig rolle i utviklingen av Algol- språket på slutten av 1950 - tallet og utviklet deretter "vitenskap og kunst om programmeringsspråk" , og bidro sterkt til forståelsen av deres struktur, representasjon og implementering. Han er også en tilhenger av den vakre algoritmen, inkludert for emner som er vanskelig å håndtere i strukturert programmering som Dijkstra perler (plasser perlene i tre farger på en ledning en etter en slik at det aldri er to identiske tilstøtende sekvenser).
Han er også opprinnelsen til den eponyme algoritmen, Dijkstra-algoritmen , som gjør det mulig å beregne korteste stier i en rettet graf .
Talen han holdt i 1972 da han mottok Turing-prisen , The Humble Programmer , har også holdt seg kjent. Det er også en øvelse i selvspott , da professor Dijkstra alltid har vært veldig klar over verdien av sitt arbeid.
I 1974 publiserte Dijkstra grunnleggende artikkel om selvstabilisering , egenskapen til et distribuert system for å gjenvinne riktig oppførsel etter enhver forbigående svikt. I 2002 mottok han den innflytelsesrike artikkelen prisen PoDC for denne artikkelen. Han døde kort tid etter. Denne prisen ble omdøpt til Dijkstra-prisen til hans ære året etter.
Dijkstra, kjent for sin vanskelige karakter og uforsvarlighet, var kjent for sine aforismer , som innkapslet hans syn på informatikk.