Ole-Johan Dahl

norsk ingeniør og informatiker

Ole-Johan Dahl (født 12. oktober 1931 i Mandal, død 29. juni 2002 i Asker) var en norsk informatiker som i 1968 ble Norges første professor i informatikk. Internasjonalt er han også kjent som pioner innen objektorientert utvikling.

Ole-Johan Dahl
Født12. okt. 1931Rediger på Wikidata
MandalRediger på Wikidata
Død29. juni 2002Rediger på Wikidata (70 år)
Asker[1]Rediger på Wikidata
Beskjeftigelse Informatiker, ingeniør, universitetslærerRediger på Wikidata
Utdannet ved Universitetet i OsloRediger på Wikidata
Nasjonalitet NorgeRediger på Wikidata
Medlem av Det Norske Videnskaps-Akademi, Academia EuropaeaRediger på Wikidata
Utmerkelser Turing-prisen (2001)[2], kommandør av St. Olavs Orden, John-von-Neumann-medaljen (2001)[3], Rosing Hederspris (1999), honorary doctor of ETH Zürich (2000)[4]Rediger på Wikidata
ArbeidsstedUniversitetet i OsloRediger på Wikidata
FagfeltInformatikk
Kjent forSimulaRediger på Wikidata

Dahl kom fra en familie med gamle tradisjoner innen sjøfart.[5] Da han var syv år gammel flyttet familien – han hadde også en bror og en søster – til Drammen.[5]

Under verneplikten var Dahl ved Forsvarets forskningsinstitutt (1952) under Jan Garwick, og utferdiget en cand.real.-avhandling (1957) om høynivå-programmering for FREDERIC. Mens han arbeidet ved Forsvarets forskningsinstittut, utviklet han et språk, MAC (Mercury Automatic Coding) for en Ferranti Mercury datamaskin som han arbeidet med.[5] Derpå virket Dahl ved Norsk Regnesentral (1962) og utviklet med Kristen Nygaard verdens første objektorienterte programmeringsspråk, Simula (1965).[6] Dette ble internasjonalt lansert i 1967, og objektorientering regnes idag til de virkelig store begivenhetene i informatikkens historie. Simula dannet grunnlaget for moderne språk som C++ og Java.

Dahl ble professor i numerisk analyse ved Universitetet i Oslo (1968). Han underviste blant annet i kurs om verifiserbar programmering for å forbedre kvaliteten på dataprogrammer og unngå mange programmeringsfeil. Han var også involvert i forskning og veiledning for å automatisere bevisføring av programmer.

Dahl var en av de drivende krefter for å bygge opp Institutt for informatikk hvor han også arbeidet til 31. desember 1999. Ole-Johan Dahls hus ved Universitetet i Oslo, åpnet i januar 2011, er oppkalt etter ham.

UtmerkelserRediger

Bøker og artiklerRediger

  • Discrete event simulation languages, Academic Press, 1968.
  • Structured Programming, med C. A. R. Hoare og Edsger Dijkstra, Academic Press, 1972
  • Verifiable Programming, Prentice-Hall, 1992
  • Simula: an ALGOL-based simulation language (med Nygaard), i Communications of the ACM, 9(1966).
  • Class and subclass declarations (med Nygaard). I IFIP konferanse om simuleringssprog, Oslo, Mai 1967

LitteraturRediger

  • From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Olaf Owe, Stein Krogdahl og Tom Lyche (red.), Springer Verlag, 2004.

ReferanserRediger

  1. ^ Aftenposten[Hentet fra Wikidata]
  2. ^ amturing.acm.org[Hentet fra Wikidata]
  3. ^ www.ieee.org[Hentet fra Wikidata]
  4. ^ inf.ethz.ch, besøkt 10. november 2022[Hentet fra Wikidata]
  5. ^ a b c «Ole-Johan Dahl - A.M. Turing Award Winner». amturing.acm.org (engelsk). Besøkt 5. november 2017. 
  6. ^ «The Birth of Object Orientation: the Simula Languages» (PDF). Ole-Johan Dahl. juni 2001. Besøkt 3. juni 2013. 

Eksterne lenkerRediger