Martin Müller

Degrees and Positions
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
Research Interests
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
DFKI Oz System
DFKI Oz 2 System
Mozart System (Oz 3)
Papers See here

Martin Müller