The Faculty of Mathematics and Natural Sciences - banner
sitemap contact home
{OLE-JOHAN DAHL} > pedagogical work
star Pedagogical Work
corner corner

Creating the discipline of computer science

In 1968 Ole-Johan was invited to be a full professor to create the discipline of computer science at the University of Oslo. He spent enormous efforts building up a curriculum in computer science in the late 1960s, writing textbooks at night while teaching during the day, and supervising up to 20 graduate students at a time. For 10 years from 1968 he was the only professor in computer science in Oslo. For many years, he had only one lecturer and a few research assistants helping him. The courses he designed met the highest international standards of the time and for many years to come. Most of the courses were offered for 20 years or more with only minor changes; some are still being taught.


Establishing a theoretical foundation for computer science

After beginning his career at the university, Dahl deliberately stopped working on further development of Simula as such. In his new position he felt that it was essential to build up computer science to be an accepted academic discipline, and establish a theoretical foundation for basic concepts of computer science and programming languages. He made important advances in programming methodology, introducing techniques for program structuring and conceptual modeling, based on the experiences of the design and implementation of Simula.


Teaching formal methods

Dahl at presentation Inspired by Tony Hoare's logic for program reasoning, he continued research in the area of program architecture, programming and specification languages, as well as verification methods and techniques. Most of this work is related to the area of formal methods, where the idea is to use mathematical methods to specify, develop and reason about programs. Because of his computer science background and education, his theoretical work was accompanied by concern for practical relevance and usefulness. Exploiting the advantages of both, he advocated combined use of top-down development and bottom-up development.

Dahl was teaching formal methods, and their practical use for 30 years. He believed that computer science students should know the principles of program reasoning, and that this would make them better programmers even without performing detailed verification. The course work has resulted in the book Verifiable Programming, which includes much of his own research and results. He supervised a large number of students, ten of whom became university professors.

corner corner
pin external resources
[From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Olaf Owe, Stein Krogdahl and Tom Lyche (eds.), Springer, Lecture Notes in Computer Science, Volume 2635, 2004.]
[Ole-Johan Dahl. (2007, March 6). In Wikipedia, The Free Encyclopedia. Retrieved 17:27, March 19, 2007, from ]
[Virtual Exhibition. In People Behind Informatics. Retrieved 20:03, March 19, 2007, from ]
[Bertrand Meyer, In memory of Ole-Johan Dahl and Kristen Nygaard. In Journal of Object Technology, vol. 1, no. 4, September-October 2002.]
[Ole-Johan's own homepage.]
[The department's page of tribute .]
[ACM press release about the Turing award .]
[Information about the von Neumann Medal.]
[A Norwegian newspaper's article.]
Editors: Olaf Owe, Ioana Prisacariu, the administration at Department of Informatics,
Document created: 07.05.2007

Get in touch with the University of Oslo

Dahl collecting stamps
Dahl portrait
biography scientific activity bibliography pedagogical work awards and honors media_gallery