Theoretical Computer Science

IT University of Copenhagen

Websitehttps://en.itu.dk/Research/Research-Sections/Theoretical-Computer-Science

Postal addressShow on map
4C and 4B, RLV
Denmark

1 Curtailed
18 Active
43 Finished

1 - 25 out of 43 results
- Relevance

Filter

CFIR: Innovationsnetværket for FinansIT
Sestoft, P. (PI), Dittrich, Y. (CoI), Beck, R. (CoI) & Hildebrandt, T. (CoI)
Danish Agency for Higher Education and Science
01/09/2014 → 31/12/2018
Project: Research
MaDaMS: Massive Data Mining by Sampling
Pagh, R. (PI), Stöckel, M. (CoI) & Pham, N. D. (CoI)
Independent Research Fund Denmark
01/01/2011 → 31/12/2014
Project: Research
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Project: Research
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
Project: Research
Udlandsophold ved University of Warwick
Nielsen, N. M. S. (PI)
Stibo-Fonden
01/03/2020 → 31/07/2021
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
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Danish Agency for Higher Education and Science
01/04/2023 → 31/10/2024
Project: Research
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
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)
Innovation Fund Denmark
01/07/2011 → 31/01/2018
Project: Research
Data Driven Decision Making In Public Transportation
Frellsen, J. (PI)
Innovation Fund Denmark
01/03/2018 → 28/02/2021
Project: Research
DIREC: D-POP
Husfeldt, T. (PI)
Innovation Fund Denmark
01/01/2022 → 31/12/2024
Project: Research
Indlæsning af data på kvantecomputere
Kastoryano, M. (PI) & Bock Michelsen, A. N. (CoI)
Innovation Fund Denmark
15/02/2023 → 14/02/2025
Project: Research
QIDES: Tensor Network algorithms in Finance and engineering
Kastoryano, M. (PI), Vinther, J. (CoI), Silva Arenstein, L. (CoI) & Loeschcke, S. (CoI)
Carlsberg Foundation
01/05/2023 → 30/06/2024
Project: Research
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)
Danish Agency for Higher Education and Science
26/02/2015 → 31/05/2015
Project: Research
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
Project: Research
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)
Independent Research Fund Denmark
01/04/2013 → 31/08/2017
Project: Research
FaDa: Enabling language technology for the Faroe Islands and Denmark through coordinated collaboration
Schluter, N. (PI) & Derczynski, L. (CoI)
Danish Agency for Higher Education and Science
01/08/2020 → 31/07/2021
Project: Research
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
Meta
02/01/2023 → 31/05/2024
Project: Other
Intelligent Alarmbehandling
Hildebrandt, T. (PI)
Innovationsnetværk for IT - InfinIT
01/02/2017 → 31/05/2017
Project: Research
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
Carlsberg Foundation
01/02/2024 → 30/06/2024
Project: Research
De Danske Cybermesterskaber 2021
Bruni, A. (PI)
Industriens Fond
01/12/2020 → 01/06/2022
Project: Research
Danish Language Inclusion: High-speed high-quality bootstrapping of large-scale research resources
Schluter, N. (PI) & Poulsen, S. (CoI)
Carlsberg Foundation
01/01/2019 → 31/12/2021
Project: Research
Tensor network algorithms for large scale learning and simulation
Kastoryano, M. (PI) & Limaye, N. (CoI)
Novo Nordisk Foundation
01/03/2023 → 02/03/2023
Project: Research
TNEIR: Tensor Networks for Efficient Image Rendering
Kastoryano, M. (PI)
Danish Data Science Academy (DDSA)
01/09/2023 → 31/05/2024
Project: Research
ProSec: Cyber security and ICT Infrastructure with importance to crucial functions in Denmark - Mapping Emergency and Security Processes in the Danish Energy and Public Transport Sectors and their Dependency on ICT
Hildebrandt, T. (PI) & Debois, S. (CoI)
Royal Danish Defence College
01/07/2015 → 31/12/2016
Project: Research