Projects per year
- 18 results
Search results
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
Independent Research Fund Denmark
01/07/2022 → 30/06/2026
Project: Research
-
DIREC: Algorithms education via animation videos
Husfeldt, T. (PI), Curticapean, R.-C. (CoI) & Limaye, N. (CoI)
01/09/2022 → 30/09/2025
Project: Research
-
CountHom: Counting (with) homomorphisms
Curticapean, R.-C. (PI) & Seppelt, T. F. (Collaborator)
01/04/2023 → 31/03/2028
Project: Research
-
DIREC: Bias and Benefit of Approximate Nearest Neighbor Search
Aumüller, M. (PI) & Barkhuus, L. (CoI)
01/08/2022 → 01/10/2025
Project: Research
-
DDC 2025-2027: De Danske Cybermesterskaber 2025-2027
Bruni, A. (PI)
01/11/2024 → 31/10/2027
Project: Research
-
Robust AI Algorithms for Network Traffic Analysis
Bruni, A. (PI)
Nationalt Forsvarsteknologisk Center
01/11/2024 → 31/10/2026
Project: Research
-
DISTRUST: Distributed business process execution under partial trust
Jacob, R. (PI), Debois, S. (PI) & Haagensen, F. (CoI)
Independent Research Fund Denmark
01/07/2020 → 30/06/2025
Project: Research
-
Unifying Theories for Graph Modification Problems
Thomé de Lima, P. (PI), Husfeldt, T. (CoI) & Nikabadi, A. (CoI)
Independent Research Fund Denmark
01/07/2023 → 30/06/2027
Project: Research
-
-
GOOGLELOWNLP: Probing sound for better low-resource NLP
Hardmeier, C. (CoI), Schluter, N. (PI), Sasu, D. (CoI) & Ulmer, D. T. (CoI)
01/01/2020 → 14/08/2025
Project: Other
-
VeriFunAI: Verified Functional Analysis for Safe AI
Bruni, A. (PI)
01/03/2025 → 31/07/2025
Project: Research
-
DIREC: Digital community building
Jacob, R. (PI) & Schürmann, C. (PI)
01/04/2023 → 01/09/2025
Project: Research
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
Independent Research Fund Denmark
01/04/2025 → 30/10/2028
Project: Research
-
BARC2 : Basic Algorithms Research Copenhagen
Husfeldt, T. (PI), Limaye, N. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI) & Hansen, M. R. D. (CoI)
01/01/2024 → 31/12/2029
Project: Research
-
FLows: Formula complexity of polynomials and lower bounds
Limaye, N. (PI) & Dwivedi, P. (CoI)
Independent Research Fund Denmark
01/01/2024 → 31/12/2026
Project: Research
-
P2DP: Foundations of Privacy Preserving and Accountable Decentralized Protocols
David, B. M. (PI), Engelmann, F. T. (CoI), Yeniaras, E. (CoI), Satish, R. B. (CoI) & Menezes Maia, R. J. (Collaborator)
Independent Research Fund Denmark
01/12/2021 → 31/03/2027
Project: Research
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 30/10/2025
Project: Research
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Birch Okkels, C. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Project: Research