Thomas Bolander

Thomas Bolander

Associate Professor

Building: null, null


Richard Petersens Plads

Building: 322, 022

2800 Kgs. Lyngby


Phone: 45253715

Fax: 45930074


Thomas Bolander, Ph.D., is associate professor at DTU Compute and researcher in logic and artificial intelligence. His research primarily focuses on the use of logic to model human-like planning, reasoning and problem solving. Of special interest is the modelling of social phenomena and social intelligence with the aim of creating computer systems that can interact intelligently with humans and other computer systems. The application areas are partly purely software-based systems such as computer-controlled characters in computer games and intelligent personal assistants in mobile phones, partly hardware-based systems like mobile robots. 


Thomas Bolander has developed and taught a wide range of courses in mathematics, computer science and artificial intelligence at DTU. In the period 2011-2014 he is additionally part-time employed at LearningLab DTU to help develop and teach the Education in University Teaching at DTU.


Thomas Bolander is book reviews editor of the journal Studia Logica, head of studies in mathematics at the Public University Extension of Copenhagen University, and receiver of the "teacher of the year" award at DTU in 2006.

Please consult The home page of Thomas Bolander for further information.



- 1999 M.Sc. (cand.polyt.) - Department of Mathematics, Technical University of Denmark
- 2004 Ph.D. - Informatics and Mathematical Modelling, Technical University of Denmark

Academic grades


M.Sc. (cand.polyt.)

Professional experience

2004 - 2007 Assistant Professor - Technical University of Denmark, DTU Informatics
2011 - 2014 Educational Developer - Technical University of Denmark, LearningLab DTU
2007 - Associate Professor - Technical University of Denmark, DTU Compute


Research expertise: Logic, artificial intelligence, social intelligence, multi-agent systems, automated planning.

Teaching expertise: Mathematics, computer science, artificial intelligence, higher education didactics, philosophy of science.

International experience

September 2010: Invited research stay, 1 month, KRDB Research Centre for Knowledge and Data, University of Bolzano, Italy.

Autumn 2002: Visiting PhD student, 1 semester, University of St. Andrews, Scotland.

1997-1999: Visiting M.Sc. student, University of Oslo, Norway.

Other information

Major research projects

HYLOCORE 2009-2013. Hybrid Logic, Computation, and Reasoning Methods (HYLOCORE), sponsored by the Danish Natural Science Research Council. See

HyLoMOL 2005-2008. Hybrid Logic Meets Other Logics (HyLoMOL), sponsored by the Danish Natural Science Research Council. See


Awards. Teacher of the year at DTU, 2006.


Selected current and previous appointments

Reviews editor, Studia Logica (Springer). See

Steering committee member, Advances in Modal Logic (AiML), 2010-2012.

Director of studies, Copenhagen University Extension (Folkeuniversitetet i Koebenhavn), 2009-2013.

My links

View graph of relations

View all »

View all »



View all »

View all »

Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2181986