Projects per year
Search results
-
Active
Biomedical Image Segmentation using Graph Cuts
Mikkelstrup, C. M. (PhD Student), Gørtz, I. L. (Main Supervisor) & Dahl, V. A. (Supervisor)
01/09/2024 → 31/08/2027
Project: PhD
-
Hierarchical Compression of Highly-Repetitive Data
Perez Lopez, M. (PhD Student), Gørtz, I. L. (Main Supervisor), Bille, P. (Supervisor) & Rotenberg, E. (Supervisor)
01/10/2023 → 30/09/2026
Project: PhD
File -
Dynamic Graph Algorithms
Vlieghe, J. M. V. (PhD Student), Rotenberg, E. (Main Supervisor), Siniscalchi, L. (Supervisor) & Thomassen, C. (Supervisor)
01/09/2023 → 31/08/2026
Project: PhD
-
Secure TaRDIS
Lund, S. T. (PhD Student), Mödersheim, S. A. (Main Supervisor), Scalas, A. (Supervisor) & Villadsen, J. (Supervisor)
01/08/2023 → 31/07/2026
Project: PhD
-
Hierarchical Compression of Highly-Repetitive Data
Tarnow, S. R. (PhD Student), Bille, P. (Main Supervisor), Gørtz, I. L. (Supervisor) & Thomassen, C. (Supervisor)
01/04/2023 → 31/03/2026
Project: PhD
-
Quantum Strategies for Graph Based Nonlocal Games
Nigam Kar, P. (PhD Student), Roberson, D. E. (Main Supervisor) & Thomassen, C. (Supervisor)
15/10/2022 → 14/10/2025
Project: PhD
-
Combinatorial Algorithms on Graphs and Geometry
Rutschmann, D. (PhD Student), Rotenberg, E. (Main Supervisor), Thomassen, C. (Supervisor) & Van Der Hoog, I. D. (Supervisor)
01/09/2022 → 31/08/2025
Project: PhD
-
Graph Algorithms with Geometric Applications
Gæde, E. T. (PhD Student), Rotenberg, E. (Main Supervisor), Bærentzen, J. A. (Supervisor), Kleist, L. (Examiner) & Schwiegelshohn, C. (Examiner)
15/07/2022 → 14/07/2025
Project: PhD
-
Efficient Approximation Algorithms for Compression and Minimum Spanning Trees in Implicit Graphs
Krogh, C. (PhD Student), Gørtz, I. L. (Main Supervisor), Bille, P. (Supervisor) & Rotenberg, E. (Supervisor)
01/03/2022 → 30/05/2026
Project: PhD
-
Dynamic Graph Algorithms
Christiansen, A. B. G. (PhD Student), Rotenberg, E. (Main Supervisor), Gørtz, I. L. (Supervisor) & Thomassen, C. (Supervisor)
15/10/2021 → 25/08/2025
Project: PhD
-
Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P. (PhD Student), Gierasimczuk, N. (Main Supervisor) & Rotenberg, E. (Supervisor)
01/09/2021 → 05/10/2025
Project: PhD
-
Finished
User-Friendly Formal Methods
Jacobsen, F. K. (PhD Student), Villadsen, J. (Main Supervisor), Scalas, A. (Supervisor), Peters, K. B. (Examiner) & Traytel, D. (Examiner)
01/07/2021 → 05/11/2024
Project: PhD
-
Algorithms for Modern Vector Processor Architectures
Stordalen, T. J. (PhD Student), Bille, P. (Main Supervisor), Gørtz, I. L. (Supervisor), Grossi, R. (Examiner) & Raman, R. (Examiner)
01/01/2021 → 10/04/2024
Project: PhD
-
New Functions and Effects of Intermediaries for Innovation and Entrepreneurship, Equipped with Artificial Intelligence
Sala Vilar, L. R. (PhD Student), Li-Ying, J. (Main Supervisor), Bolander, T. (Supervisor), Colovic, A. (Examiner) & Mortara, L. (Examiner)
01/06/2020 → 06/09/2024
Project: PhD
-
Formally Correct Deduction Methods for Computational Logic
From, A. H. (PhD Student), Paulson, L. C. (Examiner), Villadsen, J. (Main Supervisor), Gierasimczuk, N. (Supervisor) & Braüner, T. (Examiner)
01/02/2020 → 14/06/2023
Project: PhD
-
Adaptive Compressed Computation
Pedersen, M. H. R. (PhD Student), Gørtz, I. L. (Main Supervisor), Bille, P. (Supervisor), Puglisi, S. J. (Examiner) & Weimann, O. (Examiner)
01/02/2020 → 15/01/2024
Project: PhD
-
Efficient and Self-tuning Nature-inspired Algorithms
Rajabi, A. (PhD Student), Oliveto, P. S. (Examiner), Bille, P. (Examiner), Lehre, P. K. (Examiner), Witt, C. (Main Supervisor) & Fischer, P. A. (Supervisor)
01/06/2019 → 30/09/2022
Project: PhD
-
Algorithms for Strings and Graphs
Steiner, T. A. (PhD Student), Lewenstein, M. (Examiner), Pissis, S. (Examiner), Witt, C. (Examiner), Gørtz, I. L. (Main Supervisor), Bille, P. (Supervisor) & Rotenberg, E. (Supervisor)
15/02/2019 → 09/06/2022
Project: PhD
-
Logical Foundations of Al Algorithms
Jensen, A. B. (PhD Student), Traytel, D. (Examiner), Villadsen, J. (Main Supervisor), Mödersheim, S. A. (Supervisor) & Dix, J. (Examiner)
01/02/2019 → 09/06/2022
Project: PhD
-
Planning and learning a machine learning meets AI approach
Dittadi, A. (PhD Student), Kipf, T. (Examiner), Martius, G. (Examiner), Winther, O. (Main Supervisor) & Bolander, T. (Supervisor)
Technical University of Denmark
15/03/2018 → 12/09/2022
Project: PhD
-
Flows and Colourings
Langhede, R. M. (PhD Student), Bonamy, M. (Examiner), Fischer, P. A. (Examiner), Thomassen, C. (Main Supervisor), Gørtz, I. L. (Supervisor), Rotenberg, E. (Supervisor) & Bang-Jensen, J. (Examiner)
Technical University of Denmark
01/01/2018 → 12/05/2021
Project: PhD
-
Action Model Learning for Multi-agent Systems
Occhipinti Liberman, A. (PhD Student), Herzig, A. (Examiner), Smets, S. (Examiner), Lluch Lafuente, A. (Examiner), Bolander, T. (Main Supervisor) & Gierasimczuk, N. (Supervisor)
Technical University of Denmark
01/02/2017 → 09/12/2020
Project: PhD
-