Thomas Bolander

Thomas Bolander

Associate Professor

Richard Petersens Plads

Building: 322, 022

2800 Kgs. Lyngby


Phone: 45253715Fax: 45930074

Thomas Bolander, PhD, is an associate professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research areas are logic and artificial intelligence, focussing primarily 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 of interest are e.g. computer-controlled characters in computer games, intelligent personal assistants in mobile phones, and mobile robots. 
Thomas Bolander has developed and taught a wide range of highly praised courses in mathematics, computer science and artificial intelligence. In 2006, he received the "teacher of the year" award at DTU. In the period 2009-2013 he was director of studies at the Copenhagen University Extension, and 2011-2014 part-time employed as educational developer at LearningLab DTU, taking part in developing and teaching the Education in University Teaching at DTU. Since 2016, Thomas Bolander is also external lecturer in artificial intelligence at DIS - Study Abroad. He is furthermore book reviews editor of the Springer journal Studia Logica, and scientific advisor for the Science & Cocktails initiative.

For further information, details on publications, research projects, invited talks, organised conferences, program committee memberships, courses, media appearances, etc., please consult the home page of Thomas Bolander:



- 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 »

  • Electronic Notes in Theoretical Computer Science

    ISSNs: 1571-0661

    Additional searchable ISSN (Electronic): 1571-0661

    ELSEVIER, Netherlands

    BFI (2019): BFI-level 1, Scopus rating (2017): CiteScore 0.66 SJR 0.287 SNIP 0.578, ISI indexed (2013): ISI indexed no, Web of Science (2019): Indexed yes

    Central database


  • Journal of Logic and Computation

    ISSNs: 0955-792X

    Additional searchable ISSN (Electronic): 1465-363X

    Oxford University Press, United Kingdom

    BFI (2019): BFI-level 2, Scopus rating (2017): CiteScore 0.82 SJR 0.381 SNIP 1.135, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database


  • Journal of Logic, Language and Information

    ISSNs: 0925-8531

    Additional searchable ISSN (Electronic): 1572-9583

    Springer Netherlands, Netherlands

    BFI (2019): BFI-level 2, Scopus rating (2017): CiteScore 0.9 SJR 0.361 SNIP 1.45, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed no

    Central database


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.

ID: 2181986