Till Mossakowski

Research

Ontologies, constraint calculi, spatial reasoning and geoservices

• SFB/TR 8: Spatial cognition (member)
• I1-[OntoSpace] Ontologies for Spatial Communication
• R4-[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
• ISO/TC37/SC3/WG3: ISO NP 17347 - Ontology Integration and Interoperability (OntoIOp) (chairman)
• DO-ROAM - Activity-Oriented Search and Route Planning with OpenStreetMap (prototypes)
• Former project: I4-[SPIN] Specification for the Integration of Spatial Concepts

Logic and formal methods for software engineering

• The LATIN Project: Logic Atlas and Integrator
• SHIP - Semantic Heterogeneous Integration of Processes
• SATCLOUD - Secure and highly-available Trust contexts for mixed CLOUD scenarios
• Formal methods for software development (CoFI, CASL, Bremen CoFI pages, tools, libraries)
• Heterogeneous specification and the Heterogeneous tool set (Hets), heterogeneous libraries
• Institutions, logics and the like
• Former project FormalSafe: Formal Development for Safe Robotics
• Former project MULTIPLE (multi-logic systems, heterogeneous specification)
• Former project HasCASL (specification of functional programs)
• monad-based logics for computational effects: slides of AMAST 06 invited talk

Publications and Software

• Publications   all   Qualitative spatial calculi and spatial ontologies   heterogeneous specification   CASL  
• Habilitation thesis: Heterogeneous specification and the heterogeneous tool set ps pdf
• Software    Heterogeneous tool set (Hets)

Professional activities

• IFIP WG 1.3 Foundations of systems specification (chair since 2010)
• WADT, CALCO (co-chair of steering committees)
• CoFI: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
• PC (co)-chair: WADT 2010, CALCO 2007
• PC memberships
  • 2014: FOIS competition chair
  • 2013: IJCAI 2013, FroCoS 2013, CICM 2013, CALCO 2013, CALCO tools 2013, CALCO early ideas 2013, DoForm 2013
  • 2012: WoMO 2012, WADT 2012, SWUMA 2012
  • 2011: FroCoS 2011, CALCO 2011, WoMO 2011
  • 2010: AMAST 2010, MLPA 2010, WoMO 2010, WADT 2010
  • 2009: CALCO 2009, MLPA-09, WoMO 2009
  • 2008: AMAST 2008, WADT 2008
  • 2007: FroCoS 2007, VERIFIY 07, ISWC workshop on modular ontologies 2007
  • earlier: WADT 2006, MKM 2005, CSL 2004, CombLog 2004, AMiLP-3 2003, FLIRTS track at WADT 2002, FroCoS 2000
• PhD Summer School: Logics of Formal Software Specification Languages   Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL
• FLIRTS group: Formalisms, Logics, Institutions - Representing, Translating, Structuring (coordinator)

Teaching

• Summer 2013: Smart Grid: das Internet der Energie
• Summer 2012: Formal Modelling
• Winter 2011/12: Logic
• Project SmartEnergy
• Summer 2011: Formal methods of software engineering
• Winter 2010/2011: Die Energieversorgung der Zukunft und das Internet der Energie: erneuerbar, dezentral, intelligent
• Summer 2010: Software specification with CASL
• Old lectures
• Supervised theses

Personal

• Short curriculum vitae
• Computer science links
• General links (in German)
• Projects
• Communtu (easy installation of Ubuntu-Linux)
• SaHNE (renewable energies)
• Mossakowski
• My Erdös number is 3: Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös

Contact