Herman Ruge Jervell

Professor emeritus - Institutt for informatikk
Bilde av Herman Ruge Jervell
English version of this page
Telefon +47 22840121
Mobiltelefon +47 98853310
Rom 9462
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

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.

 

Emneord: Logikk
Publisert 4. nov. 2010 13:59 - Sist endret 20. aug. 2013 09:59