Projekter pr. år
- 25 - 43 ud af 43 resultater
Søgeresultater
-
Fra visuel procesdesign og kravspecifikation til fleksible digitale arbejdsgange
Hildebrandt, T. (PI) & Lauesen, S. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2013 → 31/05/2014
Projekter: Projekt › Forskning
-
CountBeyond: Beyond Exact Counting: Approximation and Symmetry
Curticapean, R.-C. (PI)
01/06/2023 → 30/09/2023
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Projekter: Projekt › Forskning
-
Interaktive træningsteknologier i kommunal genoptræning af hofte og apopleksipatienter
Hildebrandt, T. (PI)
Anvendt Borgernær Teknologi (ABT-fonden)
01/10/2010 → 31/12/2013
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
SSS: Scalable Similarity Search
Pagh, R. (PI), Christiani, T. L. (CoI), Pham, N. D. (CoI), Faithfull, A. (CoI), Silvestri, F. (CoI), Mikkelsen, J. W. (CoI), Sivertsen, J. V. T. (CoI), Aumüller, M. (CoI), Skala, M. (CoI), Ceccarello, M. (CoI), Themsen, R. (CoI), Jacob, R. (CoI), McCauley, S. (CoI) & Ahle, T. D. (CoI)
01/05/2014 → 30/04/2019
Projekter: Projekt › Forskning
-
EliteForsk travel grant
Christiani, T. L. (PI) & Pagh, R. (PI)
Ministeriet for Børn og Undervisning
01/01/2017 → 31/12/2018
Projekter: Projekt › Forskning
-
Data Driven Decision Making In Public Transportation
Frellsen, J. (PI)
01/03/2018 → 28/02/2021
Projekter: Projekt › Forskning
-
De Danske Cybermesterskaber 2022-24
Bruni, A. (PI)
01/11/2021 → 31/10/2024
Projekter: Projekt › Forskning
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
Digitalising the General Data Protection Regulation
Hildebrandt, T. (PI) & Normann, H. (CoI)
Innovationsnetværk for IT - InfinIT
01/01/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
-
-
Stibo-Fondens IT-rejsestipendium
Ahle, T. D. (PI)
19/05/2016 → 31/12/2017
Projekter: Projekt › Forskning
-
BARC: Basic Algorithms Research Copenhagen
Pagh, R. (PI), Husfeldt, T. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI), Nielsen, N. M. S. (CoI), Bercea, I. O. (CoI), Karppa, M. (CoI), Curticapean, R.-C. (CoI), Limaye, N. (CoI), Aumüller, M. (CoI), Sivertsen, J. V. T. (CoI), McCauley, S. (CoI) & Dell, H. (CoI)
01/09/2017 → 31/08/2024
Projekter: Projekt › Forskning
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning