Thomas Bolander is a researcher in logic and artificial intelligence. Of special interest is the use of logic for modelling and emulating human-like planning, reasoning and problem solving. This is utilised in creating computer systems that can act autonomously and behave "intelligently". The fields of application are partly software-based systems like computer controlled characters in computer games, partly hardware-based systems like mobile robots. In addition to applications of logic in artificial intelligens, Thomas Bolander has been working with applications in verification of software-, security- and hardware-systems.
Thomas Bolander is associate professor at DTU Informatics, a position he has held since December 2007.
Please consult The home page of Thomas Bolander for further information.