Deltakere i ARVI: Runtime Verification beyond Monitoring

Navn Telefon E-post Emneord
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
Martin Steffen Professor +47 22850417 msteffen@ifi.uio.no
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