• Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby


Organisation profile

Organisation profile

AlgoLoG is a group of leading researches in Theoretical Computer Science and Discrete mathematics. The group's research covers core areas in foundations of Computer Science with connections to applied areas and industry.

The research of the Algorithms, Logic, and Graphs section covers AlgorithmicsComputational 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).


Dive into the research topics where Algorithms, Logic and Graphs is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or