| |

I'm a
(My bread-earning job, I should add, is the former.)
Highlights
Research
-
Publications: by
year or
sorted into journal and conference
papers; DBLP
record.
Although I'm all in favour of giving quality priority over quantity in
writing papers, I do appear on the list
of most
prolific DBLP authors.
-
Summary of the papers constituting my cumulative habilitation thesis
Higher order and reactive algebraic specification and development
[PDF]
[PS]
-
Research interests:
- Formal Methods
- Knowledge Representation
- Logic in Computer Science
-
BMBF-funded
project
SIMPLE -- Semantically founded implementation of clinical
practice guidelines
(Lutz Schröder, Dieter Hutter, Regine Wolters, ID Berlin, klinische Partner)
-
BMBF-funded project
SHIP -- Semantic Heterogeneous Integration of Processes
(Bernd Krieg-Brückner, Serge Autexier,
Dieter Hutter,
Christoph Lüth,
Till Mossakowski,
Lutz Schröder)
-
BMBF-funded project
FormalSafe -- Formal Development for Safe Robotics
(Bernd Krieg-Brückner,
Dieter Hutter,
Michael Kohlhase,
Christoph Lüth,
Till Mossakowski,
Lutz Schröder,
Werner Stephan)
-
DFG-funded project GenMod -- Generic
algorithms and complexity bounds in coalgebraic modal logic,
currently in the second phase
(Lutz Schröder)
-
DFG-funded project PLB -- A Construction Kit for Program Logics
(Christoph Lüth and 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
-- Monadic computational logics in HOL
(Lutz Schröder)
My Group
Professional Activities
-
Member of IFIP
WG 1.3 (Foundations of System Specification)
- 11th International
Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), PC
co-chair and member of the steering committee
- Advances in Modal Logic 2012, PC member
- International
Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011),
PC member
- 34th Annual German Conference on
Artificial Intelligence (KI 2011), PC member
- International
Workshop on Ontology and Semantic web for Manufacturing (OSEMA 2011),
Organizing Committee member
- 33rd Annual German Conference on
Artificial Intelligence (KI 2010), area chair
- 4th International Conference
on Algebra and Coalgebra in Computer Science (CALCO 2011),
PC member
- 37th International Colloquium on
Automata, Languages and Programming (ICALP 2010), PC member
- 13th
International Conference on Algebraic Methodology And Software Technology (AMAST 2010), PC member
- 10th International Workshop on
Coalgebraic Methods in Computer Science (CMCS 2010), PC member
- 24th
Annual IEEE Symposium on Logic in Computer Science (LICS 2009),
PC member
- 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO 2009),
PC member
- 12th International Conference on Algebraic
Methodology And Software Technology (AMAST 2010), PC
member
- 9th International Workshop on
Coalgebraic Methods in Computer Science (CMCS 2008), PC
member
Talks
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
|
|