Till Mossakowski

I am a senior researcher at the German research center for artificial intelligence (DFKI), Lab Bremen, Safe and secure cognitive systems group, on leave from my position as "wissenschaftlicher Assistent" (roughly corresponding to an assistant professor) in the working group headed by Prof. Dr. Bernd-Krieg-Brückner , located at the computer science department of the University of Bremen (Germany).

Research

Formal methods for software development (CoFI, CASL, Bremen CoFI pages, tools, libraries)
DFG funded project MULTIPLE (multi-logic systems, heterogeneous specification)
Heterogeneous specification and the Heterogeneous tool set (Hets), heterogeneous libraries
Institutions, logics and the like
DFG funded project HasCASL (specification of functional programs)
monad-based logics for computational effects: slides of AMAST 06 invited talk
Publications all heterogeneous specification CASL CASL semantics CoCASL HasCASL Qualitative spatial calculi and spatial ontologies
Habilitation thesis: Heterogeneous specification and the heterogeneous tool set ps pdf
Software

CoFI: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
IFIP WG 1.3 Foundations of systems specification (member)
FLIRTS group: Formalisms, Logics, Institutions - Representing, Translating, Structuring (coordinator)
Sonderforschungsbereich/Transregio 8: Spatial cognition (member, co-cordiantor of I4-[SPIN] and I1-[OntoSpace])
FroCoS 2000, FLIRTS track at WADT 2002, AMiLP-3 2003, CSL 2004, CombLog 2004, MKM 2005, WADT 2006, FroCoS 2007, VERIFIY 07, ISWC workshop on modular ontologies 2007, AMAST 2008, WADT 2008, CALCO 2009 (member of program committee)
CALCO 2007 (PC co-chair)
WADT, CALCO (member of steering committee)
PhD Summer School: Logics of Formal Software Specification Languages Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL

Short curriculum vitae
Computer science links
General links (in German)
Mossakowski
My Erdös number is 3: Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös

Postal address:
Till Mossakowski
DFKI Lab Bremen
Enrique-Schmidt-Str. 5
D-28359 Bremen

Tel.: +49 421 218 64226
Fax: +49 421 218 9864226
email: till@tzi.de
Office: Cartesium, Enrique-Schmidt-Str., room 2.051