Ole-Johan Dahl
| Ole-Johan Dahl | |||
|---|---|---|---|
| Født | 12. okt. 1931 Mandal[1] | ||
| Død | 29. juni 2002 (70 år) Asker[2] | ||
| Beskjeftigelse | Informatiker, ingeniør, universitetslærer | ||
| Utdannet ved | Universitetet i Oslo | ||
| Nasjonalitet | Norge[3] | ||
| Medlem av | Det Norske Videnskaps-Akademi Academia Europaea | ||
| Utmerkelser | Turing-prisen (2001) (sammen med: Kristen Nygaard)[4] Kommandør av St. Olavs Orden John-von-Neumann-medaljen (2002) (sammen med: Kristen Nygaard)[5] Rosing Hederspris (1999) (sammen med: Kristen Nygaard) Honorary doctor of ETH Zürich (2000)[6] | ||
| Arbeidssted | Universitetet i Oslo | ||
| Fagfelt | Informatikk | ||
| Kjent for | Simula | ||
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.
Dahl kom fra en familie med gamle tradisjoner innen sjøfart.[7] Da han var syv år gammel flyttet familien – han hadde også en bror og en søster – til Drammen.[7]
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.[7] Derpå virket Dahl ved Norsk Regnesentral (1962) og utviklet med Kristen Nygaard verdens første objektorienterte programmeringsspråk, Simula (1965).[8] 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.
Utmerkelser
[rediger | rediger kilde]- 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 artikler
[rediger | rediger kilde]- 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
Litteratur
[rediger | rediger kilde]- From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Olaf Owe, Stein Krogdahl og Tom Lyche (red.), Springer Verlag, 2004.
Referanser
[rediger | rediger kilde]- ^ Store norske leksikon, snl.no[Hentet fra Wikidata]
- ^ Aftenposten[Hentet fra Wikidata]
- ^ LIBRIS, libris.kb.se, utgitt 26. september 2012, besøkt 24. august 2018[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 (på 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.