Christoph Lüth

I am a senior researcher in the Safe and Secure Cognitive Systems group of the Bremen Lab of the Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI). I am also a Privatdozent at the University of Bremen, and part of the group of Prof. Bernd Krieg-Brückner. My research is concerned with formal program development, and applications of category theory to computer science.

Research

A brief CV.
A list of my papers and publications.
Projects I am involved in:
- SAMS, a Safety Component for Autonomous Service Robots.
  Funded by the German Federal Ministry for Education and Research.
- AWE, abstraction and reuse of formal program developments.
  Funded by the German research council DFG.
- Literate Formal Program Development with Eclipse.
  Sponsored by IBM.
The User Interfaces for Theorem Provers (UITP) workshop series.
Read the Special Issue on User Interfaces for Theorem Proving of the Journal for Automated Reasoning
The next generation of prover interfaces: the PG/Kit.

Lehre (Teaching)

Praktische Informatik 3. Grundstudiumsveranstaltung, WS08/09.
Alte Lehrveranstaltungen finden sich im Archiv.

Miscellenea

Haskell in Space!
Ah, those halcyon days of yore...

Contact Details

Address:	DFKI Bremen	FB 3 - Mathematik und Informatik
	Safe and Secure Cognitive Systems	Universität Bremen
	Enrique-Schmidt-Straße 5	Postfach 330440
	28359 Bremen	28334 Bremen
	Germany	Germany
Email:	`christoph.lueth@dfki.de`	`cxl@informatik.uni-bremen.de`
	Alternatively, use this form to get in touch.
Office:	Cartesium 2.046
Phone:	+49 (421) 218-64223
Fax:	+49 (421) 218-9864223

Thank you for your interest. Any comments welcome at email addresses above.

I jump to my feet: if only I could stop thinking, that would be something of an improvement. Thoughts are the dullest things on earth. Even duller than flesh. They stretch out endlessly and they leave a funny taste in the mouth. Then there are words, the sketchy phrases which keep coming back: ``I must fini... I ex... Dead... Monsieur de Roll is dead... I am not... I ex...'' It goes on and on... and there's no end to it. It's worse than the rest because I feel responsible, I feel that I am to blame. For example, it is I who keep up this sort of painful rumination. I exist. It is I. The body lives all by itself, once it has started. But when it comes to thought, it is I who continue it, I who unwind it. I exist. I think I exist. Oh, how long and serpentine this feeling of existing is - and I unwind it, slowly... If only I could prevent myself from thinking! I try, I suceed: it seems as if my head is filling with smoke... And now it starts again: ``Smoke.. Mustn't think... I don't want to think... I don't want to think... I think that I don't want to think. I mustn't think that I don't want to think. Because it is still a thought.'' Will there never be an end to it?