Projects per year
- 13 results
Search results
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Project: Research
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Project: Research
-
DemTech: Trustworthy Democratic Technology
Schürmann, C. (PI), Boulus-Rødje, N. (CoI), Gad, C. (CoI), Kiniry, J. R. (CoI), Markussen, R. (CoI), Gustafsson, D. (CoI), Wang, J. (CoI), Vadgaard, A. K. P. (CoI), Murawska, A. A. (CoI) & Bock, P. B. (CoI)
01/07/2011 → 31/01/2018
Project: Research
-
Foundation of flexible distributed workflow processes
Schürmann, C. (PI) & Lopez, H. A. (CoI)
Danish Council for Technology and Innovation
01/01/2008 → 31/12/2010
Project: Research
-
CIDI: Cybersecure IoT in Danish Industry
Schürmann, C. (PI) & Schneider, P. (CoI)
01/02/2019 → 31/05/2022
Project: Research
-
Cyberskills: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Project: Research
-
Establishment of a Working Group in Adversarial AI and Adversarial Machine Learning
Schürmann, C. (PI), Schiermer, O. (CoI) & Korsholm, P. (CoI)
12/02/2020 → 31/12/2020
Project: Research
-
NFC: Nationalt Forsvarsteknologisk Center
Schürmann, C. (PI)
Danish Agency for Higher Education and Science
01/01/2024 → 31/12/2024
Project: Research
-
ELF: An Epistemic Logical Framework
Schürmann, C. (PI) & Pfenning, F. (CoI)
Independent Research Fund Denmark
01/01/2011 → 31/08/2011
Project: Research
-
ENUMEDS: Enabling User-Accountable Mechanisms in Decision Systems
Giustolisi, R. (PI), Schürmann, C. (CoI), Sheikhi Garjan, M. (CoI) & Ramadan Mohammed Abdalla, M. (CoI)
01/07/2021 → 31/07/2023
Project: Research
-
Cyber Security Summer School 2020 & Cybersecurity Days
Schürmann, C. (PI)
02/07/2020 → 01/12/2020
Project: Research
-
DIREC: Digital Tech Summit 2022
Schürmann, C. (PI) & Barkhuus, L. (PI)
01/05/2022 → 30/12/2022
Project: Research
-