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