PD Dr. Lutz Schröder

I'm a senior researcher in the Safe and Secure Cognitive Systems Group at the DFKI Lab Bremen, as well as a Privatdozent at the Department of Computer Science at the University of Bremen.

A short CV

Summary of the papers constituting my cumulative habilitation thesis
Higher order and reactive algebraic specification and development [PDF] [PS]

Research

• List of publications
• Research interests: Formal Methods of Software Development, Algebraic and Coalgebraic Specification, Modal Logic, Category Theory, Topology
• DFG-funded project Generic algorithms and complexity bounds in coalgebraic modal logic
  (Lutz Schröder)
• DFG-funded project HasCASL
  (Till Mossakowski, Bernd Krieg-Brückner) -
  algebraic specification + functional programming = environment for formal software development.
• Member of IFIP WG 1.3
• FNK-funded project HOL-MDL
  (Lutz Schröder)
  - Monadic computational logics in HOL
• CMCS 2008 PC member
• AMAST 2008 PC member
• LICS 2009 PC member
• CALCO 2009 PC member

Teaching

 
E-mail:  user Lutz.Schroeder, domain dfki.de
Address: Lutz Schröder
         DFKI-Lab Bremen
         Cartesium, Enrique-Schmidt-Str. 5
         D-28359 Bremen
         Germany
Phone:   x49 421 218-64216
Fax:     x49 421 218-9864216
Office:  Cartesium 02.0051