Hanne Riis Nielson
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.