LBT.imm.dtu.dk IMM.dtu.dk DTU.dk LBT Internal Pages
DTU Informatics
Technical University of Denmark
Technical University of Denmark

Hanne Riis Nielson


Research Interests: The motivation behind my research has been the use of formal theories for modelling, analysing and reasoning about IT-systems. My main contributions are within the areas Attribute Grammars, Proof Systems for Program Properties, Two-Level Languages, Type and Effect Systems and, more generally, Static Program Analysis. In short, these areas represent a wide variety of approaches to analysing and reasoning about computer programs and models and they cover semantics as well as algorithmic techniques.

Within the last decade the main application area for the techniques have been to ensure Safety and Security of programs and models; in particular, models expressed in process calculi. Also I have also studies the applications within Systems Biology.



Last updated by Hanne Riis Nielson, 12/09/2008 15:49, using LBTcms
Top
Richard Petersens PladsDTU Informatics - Building 322, Room 114DK-2800 LyngbyDenmarkTel: +45 45 25 3736