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