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.

Hanne Riis Nielson’s ekspertise er indenfor teknikker og værktøjer til modellering og analyse af programmer og systemer og omfatter semantiske så vel som algoritmiske aspekter. Hendes interesser er motiveret af praktiske problem stillinger og inden for de sidste mange år har hun studeret proces modeller med mobilitet, parallelitet og kommunikation som de gennemgående karakteristika og et centralt anvendelsesområde har været datasikkerhed. Hanne Riis Nielson er cand.scient. i matematik og datalogi fra Aarhus Universitet (1981) og hun har en PhD fra Edinburgh Universitet (1984); under sit PhD studium opholdt hus sig ved MIT i Boston i en periode. Hun har været lektor ved universiteterne i Ålborg og Århus, gæsteprofessor ved Saarland Universitet (Tyskland) og ved Chalmers Tekniske Højskole (Sverige) og hun er nu professor mso ved DTU. Her har hun stået for opbygningen af en stærk forskningsgruppe inden for Language Based Technology (LBT). Hanne Riis Nielson er medlem af det norske forskningsråd og af institutrådet for Telematik ved Norges Teknisk Naturvidenskabelige Universitet. Hun er medlem af erhvervsforskerudvalget under ATV og af bestyrelsen for forskerskolen ITMAN ved IMM. Hun er medlem af redaktionskomiteen for tidsskriftet ACM TOPLAS og for Springers bogserie om introducerende emner i Computer Science. Hun har været medlem af adskillige bedømmelsesudvalg for adjunkt, lektor og professor stillinger i Danmark, Norge og Sverige. Hun har gennemført rektorkollegiets forskningsleder uddannelse og har fulgt flere kurser om vejledning af PhD studerende og adjunkter. Hanne Riis Nielson er medforfatter for 5 bøger og editor på 4. I Trier databasen (november 2007) angives 91 publikationer inklusiv 34 tidsskriftsartikler. Hun er opført på position 1820 i Citeseer’s liste med de 10.000 mest citerede forfattere i Computer Science.