Quelltext der Seite Ole-Johan Dahl

'''Ole-Johan Dahl''' (* [[12. Oktober]] [[1931]] in [[Mandal]], [[Norwegen]]; † [[29. Juni]] [[2002]] in [[Asker]], Norwegen) war ein norwegischer [[Informatiker]] und [[Turing Award|Turing-Preis-Träger]].

== Leben ==
Dahl wurde 1931 als ältester Sohn einer Seefahrerfamilie geboren. Er studierte ab 1949 an der [[Universität Oslo]] [[numerische Mathematik]] und leistete während des Studiums ab 1952 am ''[[Forsvarets forskningsinstitutt]]'' (FFI, Forschungsinstitut der norwegischen Streitkräfte) seinen Militärdienst ab, wo er unter [[Jan V. Garwick]] und dessen Assistent [[Kristen Nygaard]] an der Programmierung von Militärrechnern arbeitete. Unter anderem entwarf er die [[höhere Programmiersprache]] ''MAC (Mercury Automatic Coding)'' für den [[Ferranti Mercury]].
1957 legte er seine Abschlussarbeit zum Candidatus realium über die Repräsentation und Manipulation von mehrdimensionalen Feldern (''arrays'') vor, ''Multiple Index Countings on the Ferranti Mercury Computer''. Anschließend nahm er am FFI eine Vollzeitstelle an, und wurde zum engsten Mitarbeiter Garwicks, während Nygaard sich mehr der [[Operations Research]] widmete und schließlich an das ''Norsk Regnesentral'' (NR, Norwegisches Rechenzentrum) wechselte, dessen Forschungsdirektor er wurde. Dahl unterstützte ihn als Experte für Programmiersprachenentwurf bei dem Projekt, die Programmiersprachen [[Simula]] I (1961–1965) und Simula 67, die als erste [[objektorientiert]]e Computersprache gilt, zu entwickeln, und folgte ihm 1963 ganz an das NR.

1968 wurde er an der Universität Oslo zum ersten Professor der Informatik in Norwegen ernannt. Er baute den Studiengang jahrelang praktisch alleine auf, stellte im Zuge dessen aber seine Mitarbeit an der Weiterentwicklung an Simula ein, um sich mehr den theoretischen Grundlagen der Informatik und insbesondere der Programmiersprachen und der Korrektheit von Programmen zu widmen. Er blieb in Oslo bis zu seiner Emeritierung 1999.

2001 erhielt er zusammen mit Nygaard die [[John-von-Neumann-Medaille]] der [[IEEE]] und den Turing Award der [[Association for Computing Machinery|ACM]]. Der norwegische König ernannte ihn und Kristen Nygaard 2000 zu Kommandeuren des [[Sankt-Olav-Orden]]s. Er war ferner Mitglied der [[Norwegische Akademie der Wissenschaften|Norwegischen Akademie der Wissenschaften]], der [[Academia Europaea]] und Ehrenmitglied der [[Object Management Group]] und erhielt einen Ehrendoktortitel von der [[Universität Lund]].

Aus der Ehe mit seiner Frau Tove (1963) gingen zwei Kinder hervor.

Ole-Johan Dahl starb am 29. Juni 2002 an Krebs, sein Freund und Kollege Kristen Nygaard starb im August. Die ''Association Internationale pour les Technologies Objets'' vergibt in ihrem Andenken seit 2005 jährlich den Dahl-Nygaard-Preis.

== Schriften ==
* mit [[Edsger W. Dijkstra|E. W. Dijkstra]] & [[Tony Hoare|C. A. R. Hoare]]: ''Structured Programming.'' Academic Press, London 1972, ISBN 0-12-200550-3
* ''Verifiable Programming.'' Prentice Hall, New York 1992; überarbeitete Fassung 1993, ISBN 0-13-951062-1

== Literatur ==
* Olaf Owe, Stein Krogdahl, Tom Lyche (Hrsg.): ''From Object-Orientation to Formal Methods. Essays in Memory of Ole-Johan Dahl'', Springer, Lecture Notes in Computer Science, Volume 2635, 2004, ISBN 3-540-21366-X, {{DOI|10.1007/b96089}}

== Weblinks ==
* {{DNB-Portal|128965967}}
* [https://www.mn.uio.no/ifi/english/about/ole-johan-dahl/ Website im Andenken] mit Biografie, Bibliografie, und zahlreichen weiteren Materialien und Weblinks (englisch)
{{Navigationsleiste Träger des Turing-Awards}}

{{Normdaten|TYP=p|GND=128965967|LCCN=n/50/41578|VIAF=110397937|NDL=00437110}}

{{SORTIERUNG:Dahl, Olejohan}}
[[Kategorie:Informatiker]]
[[Kategorie:Träger des Turing Award]]
[[Kategorie:Träger des Sankt-Olav-Ordens (Komtur)]]
[[Kategorie:Mitglied der Norwegischen Akademie der Wissenschaften]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Hochschullehrer (Universität Oslo)]]
[[Kategorie:Softwareentwickler]]
[[Kategorie:Norweger]]
[[Kategorie:Geboren 1931]]
[[Kategorie:Gestorben 2002]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Dahl, Ole-Johan
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=norwegischer Informatiker
|GEBURTSDATUM=12. Oktober 1931
|GEBURTSORT=[[Mandal]], [[Norwegen]]
|STERBEDATUM=29. Juni 2002
|STERBEORT=[[Oslo]], [[Norwegen]]
}}