Universität Bremen  
  university department wg bkb  
  Dept. Math. Comp. Sci. > wg bkb > Deutsch
English
 

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


    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

    Talks


    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
    
     
       
    Author: Dr. Lutz Schröder
     
      wg bkb 
    Last updated: May 26, 2010   impressum