Projekter pr. år
- 1 - 25 ud af 59 resultater
Søgeresultater
-
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
-
De Danske Cybermesterskaber 2022-24
Bruni, A. (PI)
01/11/2021 → 31/10/2024
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
-
Udlandsophold ved University of Warwick
Nielsen, N. M. S. (PI)
01/03/2020 → 31/07/2021
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
-
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
-
Tensor network algorithms for large scale learning and simulation
Kastoryano, M. (PI) & Limaye, N. (CoI)
01/03/2023 → 02/03/2023
Projekter: Projekt › Forskning
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Projekter: Projekt › Andet
-
EUTYPES: The European research network on types for programming and verification
Møgelberg, R. E. (PI), Graulund, C. U. (CoI) & Veltri, N. (CoI)
21/03/2016 → 20/03/2020
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
-
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
-
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
Projekter: Projekt › Andet
-
FLows: Formula complexity of polynomials and lower bounds
Limaye, N. (PI) & Dwivedi, P. (CoI)
01/01/2024 → 31/12/2026
Projekter: Projekt › Forskning
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
01/07/2022 → 30/06/2026
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
-
A Formal Model for Declarative Workflows - Dynamic Condition Response Graphs
Mukkamala, R. R. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 31/12/2012
Projekter: Projekt › Forskning
-
FaDa: Enabling language technology for the Faroe Islands and Denmark through coordinated collaboration
Schluter, N. (PI) & Derczynski, L. (CoI)
Styrelsen for Forskning og Uddannelse
01/08/2020 → 31/07/2021
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
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Projekter: Projekt › Forskning
-
-
ESM: Efficient String Matching Through Word-Level Parallelism
Bille, P. (PI) & Husfeldt, T. (PI)
01/02/2008 → 01/02/2009
Projekter: Projekt › Forskning
-
VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning
-
TNEIR: Tensor Networks for Efficient Image Rendering
Kastoryano, M. (PI)
Danish Data Science Academy (DDSA)
01/09/2023 → 31/05/2024
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