Ole-Johan Dahl

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

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

Under verneplikten var Dahl ved Forsvarets Forskningsinstitutt (1952) under Jan Garwick, og utferdiget en cand.real. avhandling (1957) om høynivå programmering for FREDERIC. Derpå virket Dahl ved Norsk Regnesentral (1962) og utviklet med Kristen Nygaard verdens første objektorienterte programmeringsspråk, Simula (1965).[1] 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.

Han ble professor i numerisk analyse ved Universitetet i Oslo (1968). Dahl underviste blant annet i kurs for 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.

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

Utmerkelser[rediger | rediger kilde]

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]

  1. ^ «The Birth of Object Orientation: the Simula Languages». Ole-Johan Dahl. juni 2001. Besøkt 3. juni 2013. 

Eksterne lenker[rediger | rediger kilde]