Modellering af IT-systemer. Analyse af IT-systemer. Statisk program analyse. Model tjek.

Hanne Riis Nielson (HRN) forsker i teknikker og værktøjer til modellering og analyse af IT-systemer. Specielt ser hun på procesmodeller med facetter som mobilitet, parallellitet og kommunikation. HRN har mange års erfaring inden for udvikling og anvendelse af statisk program analyse til validering af systemers kvalitative egenskaber herunder datasikkerhed. Derudover ser hun på anvendelsen af model tjek til analyse af systemers kvantitative egenskaber.