LoadingText
Profil
Nøgleord
Modellering af IT-systemer
|
Analyse af IT-systemer
|
Statisk program analyse
|
Model tjek
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.
Se profil og cv i DTU Orbit...