Hanne Riis Nielson

Hanne Riis Nielson

Professor, Head of section

Matematiktorvet, Building 324, Room 181

2800 Lyngby

Denmark

Phone: 45253736

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.

CV

Academic grades

PhD

My links

My files

View graph of relations

Publications

(200)

View all »

  • Science of Computer Programming

    ISSNs: 0167-6423, 01676423

    ISSNs (Electronic): 1872-7964

    Elsevier BV, Netherlands

    ISI indexed (2013): yes, FI (2013): 2

    Central database

    Journal

  • Nordic Journal of Computing

    ISSNs: 1236-6064

    University of Helsinki Department of Computer Science, Finland

    ISI indexed (2013): no, FI (2013): 1

    Central database

    Journal

  • Theoretical Computer Science

    ISSNs: 0304-3975, 03043975

    Elsevier BV, Netherlands

    ISI indexed (2013): yes, FI (2013): 2

    Central database

    Journal

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2177260