Hanne Riis Nielson

Professor, PhD

My main interests are within the analysis and verification of safety and security properties of programs and systems. In particular I am interested in the design, construction and application of advanced tools based on formal techniques.

I am a member of the research group on Language Based Technology. The members of the group participate in a number of research projects, we have developed analysis tools and we offer projects and courses at BSc, MSc and PhD level.

A list of my publications is available at the IMM publication database and at the Trier database.

I am serving as

• Member of the IT-Security panel under the Danish Ministry of Science, Technology and Innovation.
• Member of the Norwegian research council for Technology, Natural Science and Mathematics.
• Member of the institute board for Telematics at the Norwegian University of Science and Technology (NTNU).
• Associate editor on ACM Transactions on Programming Languages and Systems (TOPLAS).