Image of Thomas Schneider

Thomas Schneider


Dr. rer. nat. Thomas Schneider
Email:  thomas.schneider [ÄT] uni-bremen.de
GPG public key


I am currently a freelance researcher. Until July 2020, I was an interim professor in the working group Theory of Artificial Intelligence at the University of Bremen. My research interests are in knowledge representation and automated reasoning, in particular:

  • Modal, description and related logics
  • Combination of logics
  • Decision procedures, complexity
  • Modularity of logical theories
  • Qualitative spatio-temporal representation and reasoning

Before coming to Bremen in March 2011, I worked in


Recent activities

All activities and awards


Valid HTML 4.01 Transitional     Valid CSS!     28 Feb 2021 TS