• Hovednavigasjon (hopp)
  • Hovedinnholdet (hopp)
  • Temanavigasjon (hopp)
  • Kontaktinformasjon (hopp)
Organisasjonsnavigasjon
Forsiden UiO Det matematisk-naturvitenskapelige fakultet Institutt for informatikk
UiO UiO Universitetet i Oslo Institutt for informatikk Det matematisk-naturvitenskapelige fakultet
  • For ansatte
  • English website
  • Meny
  • Søk
Hovednavigasjon
  • Forsiden IFI
  • Forskning
  • Studier
  • Livet rundt studiene
  • Tjenester og verktøy
  • Om instituttet
  • Personer
 
Undernavigasjon
  • Forskning
  • Forskningsprosjekter
    • Arvi (COST-IT 1402)

Deltakere i ARVI: Runtime Verification beyond Monitoring

Navn Telefon E-post Emneord
Martin Steffen Professor +47-22850417 msteffen@ifi.uio.no
Volker Stolz Førsteamanuensis +47-22852438 stolz@ifi.uio.no programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification
Einar Broch Johnsen Professor +47-22852509 einarj@ifi.uio.no informatikk, sikkerhet, kvalitetssikring av programvaresystemer, analyse av programvaresystemer, objekt-orientering, programmering og nettverk, software engineering, logikk, formelle metoder, modellering av programvaresystemer, parallelle og distribuerte systemer, teoretisk databehandling, Programmeringsspråk
UiO > Det matematisk-naturvitenskapelige fakultet >
Institutt for informatikk > Forskning >
  • Forskningsaktuelt
    • Aktuelle forskningssaker
    • Forsknings­arrangementer
  • Forskningsnettverk
    • Health Information Systems Programme
  • Forskningsprosjekter
  • Forskningsseksjoner
  • Om forskningen
    • Endringsmiljøer
    • Infrastruktur

Besøksadresse

Ole Johan Dahls Hus (kart)
Gaustadalléen 23 B
N-0373 OSLO
Norge

Postadresse

Postboks 1080
Blindern
0316 OSLO
Norge

Telefon, faks, e-post

22 85 24 10
22 85 24 01
ifiadm@ifi.uio.no

Ansvarlig for denne siden

Nettredaksjonen Ifi

Logg inn Logg ut meny
  • Administrer dette dokumentet