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...