Projects per year
Search results
-
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
-