algolog

The section for Algorithms, Logic and Graphs in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark.

Who we are

Research

Our research is in fundamental areas of theoretical computer science, logic and discrete mathematics. We publish theoretical and practical results in a number of areas, including but not limited to: artificial intelligence, design and analysis of algorithms and data structures, game theory, graph theory, logic, and multi-agent systems.

Publications

The official DTU database list recent publications by members of algolog: New publications (2013-), Older publications (2006-2012).

Individual member pages may contain links to previous papers and papers published while at other institutions.