Projects per year
Organisation profile
Organisation profile
The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:
- Semantic theories for modelling the behavior of computer programs and systems
- Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
- Algorithms, methods and tools for verification, and validation of programs and systems.
- Probabilistic models and algorithms for intelligent decision making and machine learning.
For more information see
DEIS webpage
Fingerprint
The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.
Collaborations from the last five years
Dive into details by clicking on the dots.
Profiles
-
Classique - Center for Classical Communication in the Quantum Era
Popovski, P. (PI), Østergaard, J. (CoI), Pedersen, T. G. (CoI), Cornean, H. (CoI) & Larsen, K. G. (CoI)
Danish National Research Foundation
01/02/2025 → 31/01/2031
Project: Research
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
-
ConAn: ConAn: Contrastive Analysis for State-Space Exploration
Torralba, A. (PI)
01/09/2024 → 31/08/2028
Project: Research
Research output
-
A Data-Selection Framework for Data-Efficient Battery Parameter Estimation
Weinreich, N. A., Teodorescu, R. & Larsen, K. G., 2025, (Accepted/In press) 2025 IEEE Energy Conversion Congress & Exposition Asia (ECCE-Asia).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile -
A Self-Explainable Heterogeneous GNN for Relational Deep Learning
Ferrini, F., Longa, A., Passerini, A. & Jaeger, M., 2025, In: Transactions on Machine Learning Research. 2025-March, 26 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
A Type Safe Calculus for Generating Syntax-Directed Editors
Bennetzen, B., Kristensen, N. R., Mortensen, A. T., Steffensen, P. B., Engtorp, S. S. & Hüttel, H., 10 Jan 2025, PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. Allais, G. & Liu, Y. A. (eds.). Association for Computing Machinery (ACM), p. 30-42 13 p. (PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Jiri, S. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset
Prizes
-
Teacher of the year 2022/2023 for the Faculty of IT and Design
Bacci, G. (Recipient), 19 Apr 2024
Prize: Educational prizes
-
Teacher of the Year 2022/2023 (Department of Computer Science, AAU)
Bacci, G. (Recipient), 1 Sept 2023
Prize: Educational prizes
-
First Prize of the agile track of the 10th international planning competition (IPC’23)
Gnad, D. (Recipient), Torralba, A. (Recipient) & Shleyfman, A. (Recipient), 2023
Prize: Other prizes
Activities
-
Workshop: How do students get the most out of courses?
Hüttel, H. (Lecturer), Søndergaard, B. D. (Lecturer), Rasmussen, J. G. (Lecturer) & Rasmussen, M. G. (Lecturer)
9 May 2025Activity: Talks and presentations › Talks and presentations in private or public companies
-
Summer School in Applied Circular Economy
Pizzol, M. (Organizer), Mosgaard, M. (Organizer), Haase, L. M. (Organizer), Jørgensen, M. S. (Organizer), Tadayoni, R. (Organizer), Bundgaard, A. M. (Organizer), Huulgaard, R. D. (Organizer), Niero, M. (Organizer), Bocken, N. M. P. (Organizer), Mugge, R. (Organizer), Jaeger-Erben, M. G. (Organizer) & Thomsen, B. (Organizer)
2023 → 2025Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
File -
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Søndergaard, B. D. (Lecturer), Rasmussen, M. G. (Panel member), Rasmussen, J. G. (Panel member) & Hüttel, H. (Panel member)
31 May 2022Activity: Talks and presentations › Talks and presentations in private or public companies
Press/Media
-
Digital tvilling baner vej for CO2-besparelser i fjernvarmen
27/05/2025
1 item of Media coverage
Press/Media: Press / Media
-
Digital tvilling viser vejen til effektiv fjernvarmedrift
22/04/2025
1 item of Media coverage
Press/Media: Press / Media
-
Digital tvilling baner vej for CO2-besparel ser
10/03/2025
1 item of Media coverage
Press/Media: Press / Media