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 |