Research projects
Current research projects
- see the different tabs at the research page
Former research projects
- BMWi project eGon (energy Grid optimization of n flexibilities)
- BMWi project SzenarienDB (Database for climate and energy scenarios: research of scenarios and schowcase extension of the OpenEnergy Database): Datenbank für Klima- und Energieszenarien, Teilvorhaben: Szenarienrecherche und exemplarische Erweiterung der OpenEnergy Database (oedb)
- BMWi project Open_ego (open electricity Grid optimization): Entwicklung eines Netzebenen-übergreifenden Planungsinstruments zur Bestimmung des optimalen Netz- und Speicherausbaus in Deutschland
- BMWi project Open_FRED (open Feed-in time series based on a Renewable Energy Database)
- EU FP7 project CoInvent (Concept Invention Theory)
- DFG-funded SFB/TR 8: Spatial cognition (member)
- R4-[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
- I1-[OntoSpace] Ontologies for Spatial Communication
- I4-[SPIN] Specification for the Integration of Spatial Concepts
- DFG project: The LATIN Project: Logic Atlas and Integrator
- BMBF project: SHIP - Semantic Heterogeneous Integration of Processes
- BMWi project: SATCLOUD - Secure and highly-available Trust contexts for mixed CLOUD scenarios
- BMBF project: FormalSafe: Formal Development for Safe Robotics
- DFG project: ForRBAC: Formal specification and verification of role-based security policies
- DFG project: MULTIPLE (multi-logic systems, heterogeneous specification)
- DFG project: HasCASL (specification of functional programs)
Futher research activties
- Distributed Ontology, Model and Specification Language (DOL), an OMG initiative and standard (chairman)
- The Heterogeneous tool set (Hets), the central analysis tool for DOL
- Ontohub.org - an open-source repository engine for managing distributed heterogeneous ontologies, models and specifications
- DO-ROAM - Activity-Oriented Search and Route Planning with OpenStreetMap (prototypes)
- Formal methods for software development (CoFI, CASL, tools, libraries)
- Habilitation thesis: Heterogeneous specification and the heterogeneous tool set
- Institutions, logics and the like
- monad-based logics for computational effects: slides of AMAST 06 invited talk