PD Dr. Lutz Schröder

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

A short CV

News

• Forthcoming papers at CONCUR 2010, KR 2010, IJCAR 2010, ECAI 2010
• Verification of CAD objects at FM 09: preprint Formal management of CAD/CAM processes (with Michael Kohlhase, Johannes Lemburg, and Ewaryst Schulz), slides available.
• Get the final version of Cut elimination in coalgebraic logics (with Dirk Pattinson), to appear in Inform. Comput.
• Coalgebra at IJCAI-09: Nominals for everyone (with Dirk Pattinson and Clemens Kupke)

Research

• Publications: by year or sorted into journal and conference papers
• Summary of the papers constituting my cumulative habilitation thesis
  Higher order and reactive algebraic specification and development [PDF] [PS]
• Research interests: Formal Methods of Software Development, Algebraic and Coalgebraic Specification, Modal Logic, Category Theory, Topology
• BMBF-funded project Formal Development for Safe Robotics (FormalSafe)
  (Bernd Krieg-Brückner, Dieter Hutter, Michael Kohlhase, Christoph Lüth, Till Mossakowski, Lutz Schröder, Werner Stephan)
• DFG-funded project "A Construction Kit for Program Logics"
  (Christoph Lüth and Lutz Schröder)
• 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.
• FNK-funded project HOL-MDL
  (Lutz Schröder)
  - Monadic computational logics in HOL

Professional Activities

• Member of IFIP WG 1.3
• CALCO 2011, PC member
• ICALP 2010 (Track B), PC member
• KI 2010, PC member
• AMAST 2010, PC member
• CMCS 2010, PC member
• LICS 2009, PC member
• CALCO 2009, PC member
• AMAST 2008, PC member
• CMCS 2008, PC member

Talks

• Invited speaker at TACL 2009

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