Curriculum Vitae

Tobias Müller
Education
August 2001 Dr.-Ing. in Informatik (Computer Science), Saarland University, Faculty 6 - Natural Sciences and Technology I, Saarbrücken, Germany.
Thesis: Constraint Propagation in Mozart.
September 1991 MSc in Computer Science, University of Hertfordshire, School of Computer Science, Hatfield, England.
Thesis: Compiling Haskell.
July 1990 Dipl.-Ing. für Maschinenbau (Mechanical Engineering), Technical University Chemnitz, Fakultät für Maschinenbau und Verfahrenstechnik , Chemnitz, Germany.
Thesis: Rechentechnische Umsetzung der Wissensbasis zur fertigungsgerechten Gestaltung, (in German).
Professional Experience
since 2001 Patent examiner, European Patent Office, Munich.
1996 - 2001 Researcher, Programming Systems Lab, Department of Computer Science, Saarland University, Saarbrücken.
1992 - 1995 Researcher, German Research Center for Artificial Intelligence (DFKI), Saarbrücken.
Publications*
2004 Martin Henz, Tobias Müller, and Sven Thiel. Global Constraints for Round Robin Tournament Scheduling. European Journal of Operational Research (EJORS), 153(1):92-101, February 2004.
2001 Tobias Müller. Constraint Propagation in Mozart. PhD-Thesis, Saarland University, Faculty 6 - Natural Sciences and Technology I, Germany, August 2001.
2000 Ka Boon Ng, Chiu Wo Choi, Martin Henz, and Tobias Müller. GIFT: a Generic Interface for Reusing Filtering Algorithms. Workshop on Techniques for Implementing Constraint Programming Systems - TRICS, Singapore, September 2000.

Tobias Müller. Practical Investigation of Constraints with Graph Views. Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming - CP 2000, Singapore, September 2000.

Martin Henz and Tobias Müller. An Overview of Finite Domain Constraint Programming. Proceedings of the Fifth Conference of the Association of Asia-Pacific Operational Research Societies, Singapore, 2000.

Erica Melis, Jürgen Zimmer, and Tobias Müller. Integrating Constraint Solving into Proof Planning. Frontiers of Combining Systems - Third International Workshop, FroCos 2000, March 2000.

Erica Melis, Jürgen Zimmer, and Tobias Müller. Extensions of Constraint Solving for Proof Planning. Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, August 2000.

Tobias Müller. Promoting Constraints to First-class Status. Proceedings of the First International Conference on Computational Logic - CL2000, London, July 2000. 
1999 Martin Henz, Tobias Müller and Ng Ka Boon. Figaro: Yet Another Constraint Programming Library. Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages, Las Cruces, New Mexico, USA, 1 December 1999.

Tobias Müller. Practical Investigation of Constraints with Graph Views. International Workshop on Implementation of Declarative Languages (IDL'99), Paris, France, September 1999.

Tobias Müller and Jörg Würtz. Embedding Propagators in a Concurrent Constraint Language. The Journal of Functional and Logic Programming, 1999(Special Issue 1):Article 8, The MIT Press, Cambridge, USA, May 1999.
1998 Tobias Müller. Solving Set Partitioning Problems with Constraint Programming. The Sixth Conference on the Practical Application of Prolog and the Fourth International Conference on the Practical Application of Constraint Technology - PAPPACT98, London, UK, March 1998.
1997 Tobias Müller and Martin Müller. Finite Set Constraints in Oz. 12th Workshop on Logic Programming, Munich, Germany, September 1997.

Tobias Müller and Jörg Würtz. Extending a Concurrent Constraint Language by Propagators. International Logic Programming Symposium 1997, Port Jefferson, New York, USA, October 1997.
1996 Tobias Müller and Jörg Würtz. Constructive Disjunction Revisited. Proceedings of the 20th German Annual Conference on Artificial Intelligence, KI-96, Dresden, Germany, September 1996.

Tobias Müller and Jörg Würtz. Interfacing Propagators with a Concurrent Constraint Language. JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, Germany, September 1996.
1995 Tobias Müller and Jörg Würtz. Constructive Disjunction in Oz. 11th Workshop on Logic Programming, TU Wien, Vienna, Austria, September 1995.

Martin Müller, Tobias Müller, and Peter Van Roy. Multi-Paradigm Programming in Oz. Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog, A Workshop in Association with ILPS'95, Portland, Oregon, 1995.

Tobias Müller. Adding Constraint Systems to DFKI Oz. WOz'95, International Workshop on Oz Programming, Martigny, Switzerland, 29 November - 1 December 1995.
Project Involvements

Figaro - A C++ Library for Solving Discrete Optimization Problems.

Offwest - Planing Flexible Production Systems.

Hydra - Constrained-based Computation and Deduction.
Implementations

The Mozart Programming System.

The DFKI Oz 2 Programming System.

The DFKI Oz 1 Programming System.
Supervised Students

Martin Homik. Thesis: Ressourcenoptimierung eines Workflow Problems (Diplomarbeit), Saarland University, Department of Computer Science (co-supervision with Christian Schulte).

Jürgen Zimmer. Thesis: Constraintlösen für Beweisplanung (Diplomarbeit), Saarland University, Department of Computer Science (co-supervision with Erica Melis).

Ng Ka Boon, Kevin. Thesis: A Scripting Approach to Finite Domain Constraint Programming (BSc Honours Year Project), National University of Singapore, School of Computing (co-supervision with Martin Henz).

* See also dblp.uni-trier.de,  NEC ResearchIndex and list of PSL publications.


http://www.ps.uni-sb.de/~tmueller/cv.html
Tobias Müller, 6 August 2005