BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL

Project Details


Under the current circumstances, the models used to support decisions by Danish authorities cannot be sufficiently validated. Statens Serum Institut therefore wishes to apply several models that can complement each other. Novo Nordisk Foundation supported a project developing a decision making tool for the gradual re-opening of the Danish society.

The purpose of this project is to significantly improve the models developed by the Novo Nordisk Foundation project, especially with regard to sudden changes (e.g. school reopening) and the model uncertainties. The project will to a large extent exploit the AAU supercomputer facilities and massive parallelism, thereby enabling simulations of more complex scenarios.

The two projects will be closely interlinked – also in collaboration with Danish health authorities.
Effective start/end date27/04/202001/10/2020


  • Poul Due Jensen Foundation: DKK1,200,000.00


  • COVID-19


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)