- European Patent Office since 9/1998
-
Dissertation on Set-based Failure Diagnosis for Concurrent Constraint Programming. Technische Fakultät, Universität des Saarlandes. Submission: 5/1998. Date of Defense July 22, 1998. -
Researcher in the SFB 378 project C1 ("Concurrent Programming Models") as member of the Programming Systems Lab at Universität des Saarlandes from 4/1996 to 8/1998 -
Doctoral Student in the PhD Program (Graduiertenkolleg) Kognitionswissenschaft: Empirie, Modellbildung, Implementation (Cognitive Science) at the Universität des Saarlandes from 4/1993 to 3/1996 with a dissertation scholarship from the Deutsche Forschungsgemeinschaft DFG, and associated with the Programming Systems Lab at DFKI -
Diploma in Informatik, 12/1992, with the Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe (TH), Thesis: Disjunktive Logische Programme: Charakterisierung und Implementierung -
Student in Informatik (Computer Science) at the Technical University of Karlsruhe from 10/87 to 12/92
- Calculi and type systems for functional,
object-oriented and concurrent (constraint) languages.
Type based diagnosis for untyped languages and pragmatics of type inference (weak typing, set-based analysis, etc.)
Constraint systems (trees, feature trees, sets, types).
Implementation of type inference in (higher-order) constraint languages.
Static analysis and partial evaluation.
Virtual environments, distributed virtual reality, MUDS, etc.
Constraints and concurrency for computational linguistics
Negation in logic programming