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.
- SAMS, a Safety Component
for Autonomous Service Robots.
- 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)
- Techniken
zur Entwicklung Korrekter Software 1 (TEKS 1).
Hauptstudiumsveranstaltung, WS 07/08. - Das studentische Projekt Smart Office Building.
- Alte Lehrveranstaltungen finden sich im Archiv.
Miscellenea
- Haskell in Space!
- Ah, those halcyon days of yore...
- And on a final, sad note: John Peel R.I.P. I am eternally grateful to my past influences...
Contact Details
Please note new office, telephone and fax number!
| Dr Christoph Lüth | ||||||||||||
|
|
|||||||||||
| Christoph.Lueth@dfki.de | cxl@informatik.uni-bremen.de | or use this form | ||||||||||
| Phone: | +49 (421) 218-64223 | |||||||||||
| Fax: | +49 (421) 218-9864223 | |||||||||||
| Office: | Cartesium 2.046 | |||||||||||
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?