Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   



Einar Broch Johnsen

Analytiske systemer og resonnering (Professor) - Universitetet i Oslo

Institutt for informasjons- og kommunikasjonsteknologi (Førsteamanuensis) - Universitetet i Agder

Kontaktinfo


Universitetet i Oslo

E-post

Hjemmeside
http://www.ifi.uio.no/~einarj

Annet

Hjemmeside
Personlig nettside

Vitenskapsdisipliner

Logikk

Sikkerhet og sårbarhet

Teoretisk databehandling, programmeringsspråk og -teori

Emner

Bevissystemer

Databehandling

Formelle metoder

Objektorientering

Objektorientert modellering/programmering

Parallelle systemer

Program spesifikasjon

Programmeringsspråk

Teoretisk databehandling

Termomskrivingssystemer

Åpne distribuerte systemer