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.

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.

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]