Thomas Bolander

Thomas Bolander

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 +4545 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