Projects per year
Search results
-
Active
Secure TaRDIS
Lund, S. T., Mödersheim, S. A., Scalas, A. & Villadsen, J.
01/08/2023 → 31/07/2026
Project: PhD
-
Hierarchical Compression of Highly-Repetitive Data
Tarnow, S. R., Bille, P., Gørtz, I. L. & Thomassen, C.
01/04/2023 → 31/03/2026
Project: PhD
-
Connectivity properties in graphs and directed graphs
Johansen, K. S., Thomassen, C., Heuer, K. & Rotenberg, E.
01/12/2022 → 30/11/2025
Project: PhD
-
Quantum Strategies for Graph Based Nonlocal Games
Nigam Kar, P., Roberson, D. E. & Thomassen, C.
15/10/2022 → 14/10/2025
Project: PhD
-
Combinatorial Algorithms on Graphs and Geometry
Rutschmann, D., Rotenberg, E., Thomassen, C. & Van Der Hoog, I. D.
01/09/2022 → 31/08/2025
Project: PhD
-
Graph Algorithms with Geometric Applications
Gæde, E. T., Rotenberg, E. & Bærentzen, J. A.
15/07/2022 → 14/07/2025
Project: PhD
-
Efficient Approximation Algorithms for Compression and Minimum Spanning Trees in Implicit Graphs
Krogh, C., Gørtz, I. L., Bille, P. & Rotenberg, E.
01/03/2022 → 28/02/2025
Project: PhD
-
Dynamic Graph Algorithms
Christiansen, A. B. G., Rotenberg, E., Gørtz, I. L. & Thomassen, C.
15/10/2021 → 14/10/2024
Project: PhD
-
Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P., Gierasimczuk, N. & Rotenberg, E.
01/09/2021 → 31/08/2024
Project: PhD
-
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD
-
Algorithms for Modern Vector Processor Architectures
Stordalen, T. J., Bille, P. & Gørtz, I. L.
01/01/2021 → 31/12/2023
Project: PhD
-
New Functions and Effects of Intermediaries for Innovation and Entrepreneurship, Equipped with Artificial Intelligence
Sala Vilar, L. R., Li-Ying, J. & Bolander, T.
01/06/2020 → 16/03/2024
Project: PhD
-
Finished
Adaptive Compressed Computation
Pedersen, M. H. R., Gørtz, I. L., Bille, P., Puglisi, S. J. & Weimann, O.
01/02/2020 → 01/07/2023
Project: PhD
-
Formally Correct Deduction Methods for Computational Logic
From, A. H., Paulson, L. C., Villadsen, J., Gierasimczuk, N. & Braüner, T.
01/02/2020 → 14/06/2023
Project: PhD
-
Efficient and Self-tuning Nature-inspired Algorithms
Rajabi, A., Oliveto, P. S., Bille, P., Lehre, P. K., Witt, C. & Fischer, P.
01/06/2019 → 30/09/2022
Project: PhD
-
Algorithms for Strings and Graphs
Steiner, T. A., Lewenstein, M., Pissis, S., Witt, C., Gørtz, I. L., Bille, P. & Rotenberg, E.
15/02/2019 → 09/06/2022
Project: PhD
-
Logical Foundations of Al Algorithms
Jensen, A. B., Traytel, D., Villadsen, J., Mödersheim, S. A. & Dix, J.
01/02/2019 → 09/06/2022
Project: PhD
-
Flows and Colourings
Langhede, R. M., Bonamy, M., Fischer, P. A., Thomassen, C., Gørtz, I. L., Rotenberg, E. & Bang-Jensen, J.
Technical University of Denmark
01/01/2018 → 12/05/2021
Project: PhD
-