Projects per year
- 9 results
Search results
-
ATTiKA: Adaptive Tools for Technical Knowledge Acquisition
Inie, N. (PI), Barkhuus, L. (CoI) & Brabrand, C. (CoI)
01/04/2021 → 16/10/2024
Project: Research
-
High-Level Design and Verification of Digital Systems
Fu, Z. (PI), Sestoft, P. (CoI) & Wasowski, A. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2020 → 31/10/2020
Project: Research
-
DIREC: VRAI - Workshop on Verifiable and robust AI
Wasowski, A. (PI) & Barkhuus, L. (PI)
01/10/2020 → 31/12/2023
Project: Research
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Project: Research
-
REMARO: Reliable AI for Marine Robotics
Wasowski, A. (PI), Weihl, L. (CoI), Mohammadi Kashani, M. (CoI), Quijano, S. D. (CoI), Varshosaz, M. (CoI), Marnet, L. R. (CoI), Grasshof, S. (Collaborator) & Heinrich, S. (Collaborator)
01/12/2020 → 30/04/2025
Project: Research
-
ISA: Immersive Software Archaeology – Guided Exploration of Legacy Systems in 3D Virtual Reality
Seidl, C. (PI), Lungu, M. (CoI) & Hoff, A. (CoI)
Independent Research Fund Denmark
01/07/2020 → 30/06/2024
Project: Research
-
Teknosofikum: Udvikling af en ny it-didaktisk standard
Malmborg, L. (PI), Moos, H. (CoPI), Brabrand, C. (CoI), Pischetola, M. (CoI) & Hansbøl, M. (CoI)
Danish Agency for Higher Education and Science
01/01/2020 → 31/03/2024
Project: Research
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
Independent Research Fund Denmark
01/09/2018 → 31/08/2023
Project: Research
-
DIREC: SuppDiver - Supporting Diversity via inclusive Teaching/Learning Activities
Brabrand, C. (PI) & Westh, B. H. (CoI)
01/01/2021 → 31/01/2023
Project: Research