Dr. habil. Stephan Kepser

Current position

Senior IT Consultant
codecentric AG
Düsseldorf, Germany

From February 1999 till December 2008 I worked as a

Research associate

at the
CRC 441
Eberhard Karls Universität Tübingen
72074 Tübingen
Germany

Research interests

• Compuational and theoretical linguistics
• Logic in linguistics and computer science
• Logic programming
• Descriptive and parameterized complexity theory
• Finite model theroy
• (Tree) automata theory
• Query languages and systems for linguistic treebanks

Publications

Projects

• Linguistic Theories as Data Types (SFB 441 A2)
• Combination project
• Constructions of Computational Logic CCL II

Dissertation

Here is eine Zusammenfassung auf Deutsch, an abstract in English, and the full dissertation (in English, 580 Kb PS File).

Seminare

Treebank search tool Finite Structure Query

Treebank search tool MonaSearch

"Sehr verehrter Herr Professor! Am Ende wäre ich doch lieber Basler Professor geblieben als Gott geworden,
aber ich konnte es nicht verantworten, meinen Privategoismus so weit zu treiben,
daß ich dafür die Schöpfung einer ganzen Welt unterlassen hätte."

Postkarte von Friedrich Nietzsche an Jacob Burckhardt

"Es kann sich niemand für praktisch bewandert in einer Wissenschaft ausgeben und doch die Theorie verachten,
ohne sich bloß zu geben, daß er in seinem Fach ein Ignorant sei."

Immanuel Kant, Abhandlung über den Spruch: Das mag zwar in der Theorie richtig sein, taugt aber nicht für die Praxis.