Analysis, Reasoning and Optimisation based on Semantics
Our main project is DART: Design, Analysis and Reasoning about Tools which is funded by the Danish Research Councils. Our part of the project is described in DART-AROS.
We also used to participate in the ESPRIT Basic Research Project LOMAPS: Logical and Operational Methods in the Analysis of Programs and Systems but this project has now ended.
The current senior researchers working in the group are Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson.
For more information please click here.