Thomas Bolander

Thomas Bolander

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 022

2800 Kgs. Lyngby

Ph.
Fax +45 45 93 00 74
E-mail tobo@dtu.dk
ORCID 0000-0003-1551-1703
Home page

Request a vCard via e-mail.

Profile
Publications
Projects
Courses
CV
DTU news
Loading

Projects rss feed

Formalization of Algorithms and Logical inference Systems in Proof Assistants

Schlichtkrull, Anders; Villadsen, Jørgen; Blanchette, Jasmin Christian; Bolander, Thomas; Mödersheim, Sebastian Alexander; Bengtson, Jesper; Nipkow, Tobias Superv.: Blanchette, Jasmin Christian
Examiner: Bengtson, Jesper; Nipkow, Tobias

Type: PhD    |     Project status: Finished

2015-2018

Organization-Oriented Programming in Multi-Agent Systems

Jensen, Andreas Schmidt; Villadsen, Jørgen; Bolander, Thomas; Christiansen, Henning; Hindriks, Koen V. Examiner: Christiansen, Henning; Hindriks, Koen V.

Type: PhD    |     Project status: Finished

2012-2015

Multi-agent Story Planning

Andersen, Mikkel Birkegaard; Bolander, Thomas; Hansen, Michael Reichhardt; Petrick, Ronald P. A.; Smets, Sonja Examiner: Petrick, Ronald P. A.; Smets, Sonja

Type: PhD    |     Project status: Finished

2011-2015

Epistemic Planning for Multi-Agent Systems

Jensen, Martin Holm; Bolander, Thomas; Goranko, Valentin; Herzig, Andreas ; Ågotnes, Thomas Examiner: Herzig, Andreas ; Ågotnes, Thomas

Type: PhD    |     Project status: Finished

2010-2014

Logiske teorier for datamaskinel introspektion og selv-reference med henblik på autonome agenter

Bolander, Thomas; Nilsson, Jørgen Fischer; Jensen, Helge Elbrønd; Pedersen, Stig Andur; Fitting, Melvin; Gehrke, Mai Examiner: Fitting, Melvin; Gehrke, Mai

Type: PhD    |     Project status: Finished

1999-2004