Theoretical Computer Science

IT-Universitetet i København

1 Ikke startet
2 Afkortet
16 Igangværende
40 Afsluttet

1 - 25 ud af 40 resultater
- Relevans

Filter

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)
Industriens Fond
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)
Stibo-Fonden
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
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
Meta
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)
European Commission
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)
Danmarks Frie Forskningsfond
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)
Innovation Fund Denmark (IFD)
01/07/2011 → 31/01/2018
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)
Villum Fonden
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)
Industriens Fond
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
De Danske Cybermesterskaber 2021
Bruni, A. (PI)
Industriens Fond
01/12/2020 → 01/06/2022
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)
Danmarks Frie Forskningsfond
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
IT-rejsestipendium
Christiani, T. L. (PI)
Stibo-Fonden
07/10/2014 → 31/12/2015
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)
Qatar National Research Fond
01/03/2016 → 01/03/2019
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)
Villum Fonden
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Styrelsen for Forskning og Uddannelse
01/04/2023 → 31/10/2024
Projekter: Projekt › Forskning
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
Agile modeller af forretningsregler og -processer der kan visualiseres og simuleres ud fra forskellige perspektiver (Kunde, forretning, og IT)
Hildebrandt, T. (PI), Debois, S. (CoI), Slaats, T. (CoI) & Sestoft, P. (CoI)
Styrelsen for Forskning og Uddannelse
26/02/2015 → 31/05/2015
Projekter: Projekt › Forskning
QIDES: QIDES -Tensor Network algorithms in Finance and engineering
Kastoryano, M. (PI), Vinther, J. (CoI), Silva Arenstein, L. (CoI) & Loeschcke, S. (CoI)
Carlsbergfondet
01/05/2023 → 30/06/2024
Projekter: Projekt › Forskning