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, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk