Faglige interesser
Logikk - og spesielt kompleksitet av beregninger og bevis. Jeg har vært interessert i bruken av logikk i kunstig intelligens, i modal logikk og andre anvendelser av logikk til spesifikasjoner og korrekthet i informatikk.
Undervisning
Jeg har lagt opp og hatt ansvar for en god del av undervisningen i logikk. De siste årene har jeg vekslet mellom å ha et bredt elementært kurs i logikk (som eksempel INF 1800) og avanserte kurs som INF 5800 og INF 5810
Bakgrunn
Jeg tok magistergrad i matematisk logikk i 1967 og har siden vært ved universitetene i Oslo og Tromsø (1972-85). Studieopphold ved Stanford University 1968-70. Ved Universitetet i Oslo var jeg ved Matematisk Institutt fram til 1972, ved HF 1985-2001.
Jeg har veiledet 15 doktorander - alene eller sammen med andre.