Martin Müller

I used to work as researcher in the Programming Systems Lab (PSL) at the Computer Science Department of the Universität des Saarlandes as part of the Sonderforschungsbereich 378 (Collaborative Research Center).

My research focus used to be typing and (constraint-based) program analysis in the context of concurrent constraint programming. In July 1998 I defended my dissertation on a related topic.

Since September 1998 I have been working at the European Patent Office in Munich.