Research of Dr. Ing. Jürgen Zimmer

Research Interests


My Ph.D. is about the modelling reasoning systems as Semantic Web Services described in OWL-S. I've built the MathServe Framework which performs automated service matchmaking and composition.
The work is only vaguely related to what I actually wrote in my Ph.D. Proposal (from July 2001).

For my masters thesis I worked on the integration of the constraint solving system CoSIE into our knowledge-based proof planner.

Research visits

MRG in Genova

I worked in the Mechanized Reasoning Group of the DIST in Genova for 6 months beginning of 2001.
Look for my local homepage there for further information about my work.

MRG in Edinburgh

I stayed in the Mathematical Reasoning Group in Edinburgh for 6 months (Oct. 2001 -- Apr. 2002) and again for 12 months (Mar 2003 -- Apr. 2004). During my first stay I integrated the proof planner into the MathWeb Software Bus. During my second stay I worked on service composition in the MathServe Framework.


Contact Jürgen Zimmer:
Last modified: Fri Jul 7 16:00:06 CEST 2006