Verifikation af IT-systemer. Sikkerhed af IT-systemer.
Forudsigelighed af IT-systemer. Flemming Nielson forsker i metoder og teknikker til at validere
og verificere IT-systemer til de højeste klassifikationsgrader i
internationale standarder for IT-systemer. Hans arbejde omfatter
teknikker som statistisk analyse, model tjek og constraint-løsning
anvendt inden for datasikkerhed, responstider
og ressourceudnyttelse.
|