Ole-Johan Dahl

Ketika kariernya naik, Dahl menjadi semakin tertarik dengan penggunaan metode formal, untuk melakukan penalaran secara rigor terhadap orientasi objek. Seperti semua ilmuwan komputer lainnya, keahliannya beragam mulai dari aplikasi praktis dari gagasan hingga ke dasar matematika formal untuk menjamin validitas pendekatan yang digunakan.