Research output per year
Research output per year
Richard Petersens Plads, Building 324
DK-2800 Kgs. Lyngby
Denmark
The research of the Algorithms, Logic, and Graphs section covers Algorithmics, Computational Logic, and Graph Theory and is the scientific foundation for constructing robust, efficient, and intelligent software applications based on mathematically sound solutions. Two crucial aspects when designing efficient software are large data sets and intrinsically hard problems. The naive algorithm or data structure usually only suffices for solving small scale problems. A simple search engine can easily index the contents of a drive on a personal computer, but indexing the web is much more difficult.
Similarly, an autonomous robot can plan its actions optimally by an exhaustive state space search only if the number of possible actions and states is very limited. Thus more advanced algorithms/methods are needed to solve these problems. In software applications for complex problems, often some degree of intelligence is needed in addition to efficiency. Intelligence means that the software is able to collect and categorize knowledge, do logical reasoning, learn from experiences, and communicate and negotiate with other software applications. The scientific foundation for such applications includes computational logic and logic-based AI.
Graph Theory plays a fundamental role in Computer Science, in particular in the design and analysis of algorithms. For example graphs are used for modeling networks, modeling the structure computer software, visualize the command flow within a program to name just a few. In addition, Graph Theory is an independent mathematical discipline with ties to other branches of mathematics (geometry, topology, probability, logic) and to engineering sciences (electrical networks and optimization).
Person: VIP
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Mikkelstrup, C. M. (PhD Student), Gørtz, I. L. (Main Supervisor) & Dahl, V. A. (Supervisor)
01/09/2024 → 31/08/2027
Project: PhD
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
Vlieghe, J. M. V. (PhD Student), Rotenberg, E. (Main Supervisor), Siniscalchi, L. (Supervisor) & Thomassen, C. (Supervisor)
01/09/2023 → 31/08/2026
Project: PhD
Bolander, T. (Editor)
Activity: Editorial work and peer review › Journal editor › Research
Zwisler, L. (Other) & Olesen, D. (Other)
Activity: Talks and presentations › Talks and presentations in private or public companies and organisations
Schlichtkrull, A. (Participant)
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
16/03/2016
1 Media contribution
Press/Media: Press / Media
15/02/2016
1 Media contribution
Press/Media: Press / Media
08/02/2016
1 Media contribution
Press/Media: Press / Media