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
Professional activities
CoFI
: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
IFIP WG 1.3
Foundations of systems specification (member)
FLIRTS
group:
F
ormalisms,
L
ogics,
I
nstitutions -
R
epresenting,
T
ranslating,
S
tructuring (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
Teaching
Summer 2008:
Modal Logic for Computer Scientists
Winter 2007/08:
Logic
Summer 2007:
Practical Semantics of Programming Languages
Winter 2006/07:
Software specification in CASL
Summer 2006:
Modal Logic for Computer Scientists
Winter 2005/06:
Logic
Old lectures
Supervised theses
Personal
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
Contact
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.Mossakowski@dfki.de
Office:
Cartesium
, Enrique-Schmidt-Str., room 2.051