Site Network: Cognitive Systems | SFB/TR 8 Spatial Cognition | Fachbereich 03 | Universität Bremen

Carl Schultz

Carl Schultz's picture

Personal Information

Title Ph.D.
Function Postdoctoral Researcher
Office 3.55
Phone 64182
eMail cschultz


About me

I am a postdoctoral researcher working in the Cognitive Systems Group (CoSy) at the University of Bremen. My research aims to address the challenges of developing software applications that employ qualitative spatial representation and reasoning; as a member of the DesignSpace project, my specific focus is on computer aided architectural design tools. I am fascinated by the issues that confront developers of qualitative spatial systems, in particular, given the pervasiveness of spatial concepts in a tremendous range of scientific, industrial, and commercial application domains. I am working towards the establishment of software engineering methodologies for design, analysis, and testing, that will enable the cost-effective development of robust and powerful spatial reasoning systems.

  • Qualitative spatial reasoning (QSR)
  • Constraint Logic Programming
  • Software engineering (SE) and knowledge engineering (KE)
  • Declarative software validation and meta-validation
  • Analysing spatial abstractions
  • Software metrics
  • Architectural design software
Ph.D. Project

My view is that qualitative spatial reasoning calculi are not easily accessible to developers with a background in software engineering. Thus, in order to help bridge this gap, I am developing software engineering methodologies in the areas of requirements specification, design, analysis, validation, and meta-validation. A central theme in my PhD research (completed July 2010) was the adaptation of object-oriented software engineering techniques and paradigms in a manner that supports the strengths of qualitative spatial reasoning. For example, this includes incorporating the central role of continuity, working with infinite domains, and managing complex models that reason over a broad range of abstraction levels. In general, my research aims to facilitate the development of applications that utilise qualitative spatial reasoning calculi:

  • How can we determine whether a qualitative system is capable of performing its required tasks?
  • Which spatial abstractions should we use to model the world?
  • How can we design and analyse effective domain-specific spatial inference rules?
  • How do we test these systems, and when should we stop testing?
Research Projects

I am a member of the DesignSpace project, which focuses on the application of qualitative spatial reasoning to assist in computer aided architectural design: