Ole-Johan Dahl
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ødt | 12. okt. 1931![]() Mandal ![]() | ||
Død | 29. juni 2002![]() Asker[1] ![]() | ||
Beskjeftigelse | Informatiker, ingeniør, universitetslærer![]() |
||
Utdannet ved | Universitetet i Oslo![]() |
||
Nasjonalitet | Norge![]() |
||
Medlem av | Det Norske Videnskaps-Akademi, Academia Europaea![]() |
||
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]![]() |
||
Arbeidssted | Universitetet i Oslo![]() | ||
Fagfelt | Informatikk | ||
Kjent for | Simula![]() |
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
- I 1998 mottok han og Kristen Nygaard Rosingakademiets hederspris.
- I 2000 ble Ole-Johan Dahl kommandør av St. Olavs Orden av Kongen sammen med Kristen Nygaard.
- I 2001 ble Dahl og Nygaard tildelt Turing-prisen. Denne regnes som informatikkens «Nobelpris».
- I 2002 mottok de to John von Neumann-medaljen.
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
- ^ Aftenposten[Hentet fra Wikidata]
- ^ amturing.acm.org[Hentet fra Wikidata]
- ^ www.ieee.org[Hentet fra Wikidata]
- ^ inf.ethz.ch, besøkt 10. november 2022[Hentet fra Wikidata]
- ^ a b c «Ole-Johan Dahl - A.M. Turing Award Winner». amturing.acm.org (engelsk). Besøkt 5. november 2017.
- ^ «The Birth of Object Orientation: the Simula Languages» (PDF). Ole-Johan Dahl. juni 2001. Besøkt 3. juni 2013.