MPI - Eine Einführung

Paul Molitor (*1959) ist Professor für Technische Informatik an der Martin-Luther-Universität Halle-Wittenberg. Vor seiner Tätigkeit an der Universität Halle war er Professor für Schaltungstechnik an der Humboldt-Universität zu Berlin (1993/94) bzw.Projektleiter in dem an der Universität des Saarlandes und der Universität Kaiserslautern angegliederten Sonderforschungsbereich "VLSI Entwurfsmethoden und Parallelität" (1983-1992). Er studierte Informatik und Mathematik an der Universität des Saarlandes (Diplom 1982, Promotion 1986, Habilitation 1992). Seine Forschungsinteressen gelten der Formalen Hardwareverifikation, der Synthese digitaler Systeme sowie der Kombinatorischen Optimierung, hier im Besonderen dem Problem des Handelsreisenden. Paul Molitor ist Autor bzw. Mitautor von über 60 wissenschaftlichen Publikationen sowie von 5 Lehrbüchern. Er ist verantwortlicher Hauptherausgeber der beim Oldenbourg Verlag erscheinenden wissenschaftlichen Zeitschrift "it - Information Technology", der ältesten deutschsprachigen wissenschaftlichen Zeitschrift auf dem Gebiet der Technischen Informatik und Informationstechnologie.