Christoph Lüth

I am a Wissenschaftlicher Assistent (lecturer in British terms) at the Group of Prof. Bernd Krieg-Brückner here at the University of Bremen. 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.
Abstraction and reuse of formal program developments, funded by the German research council DFG.
Literate Formal Program Development with Eclipse, sponsored by IBM.
Submit a paper to the JAR Special Issue on User Interfaces for Theorem Proving.
The User Interfaces for Theorem Provers workshop series: UITP'03 and UITP'05.
The next generation of prover interfaces: the PG/Kit.
The Casl Consistency Checker.

Lehre (Teaching)

Das studentische Projekt Bordeaux.
Die Heimatseite des Extra-Treffens.
Alte Lehrveranstaltungen finden sich im Archiv.

Miscellenea

Haskell in Space!
The Haskell98 Report.
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

Postal adress:	Dr Christoph Lüth
	FB 3 - Mathematik und Informatik
	Universität Bremen
	Postfach 330440
	28334 Bremen
	Germany
Office:	MZH 8050
Phone:	+49 (421) 218-7585
Fax:	+49 (421) 218-3054
Email:	`cxl@informatik.uni-bremen.de` or use this form

Thank you for your interest. Any comments welcome at email address 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?