Einfuhrung in Die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen (eXamen.Press)

Petra Hofstedt:

Studium der Informatik an der Technischen Universit´┐¢t Dresden, 1995 Abschluss zur Diplom-Informatikerin.- Von 1995 bis 1999 wissenschaftliche Mitarbeiterin an der TU Dresden mit den Forschungs- und Arbeitsschwerpunkten (Deklarative) Programmiersprachen, parallele Programmierung und theoretische Informatik.- 1997 Forschungsaufenthalt an der Rheinisch-Westf´┐¢lischen Technischen Hochschule Aachen.- Von 1999 bis 2001 wissenschaftliche Mitarbeiterin und seit 2002 wissenschaftliche Assistentin im Fachbereich Informatik der Technischen Universit´┐¢t Berlin (Fachgebiet ´┐¢bersetzerbau und Programmiersprachen), Forschungs- und Arbeitsgebiete: Constraint-Programmierung, Programmiersprachen und Compilerbau.- 2001 Promotion zum Thema Cooperation and Coordination of Constraint Solvers.

Armin Wolf:

Studium der Informatik an der Universit´┐¢t Karslruhe, 1991 Abschluss zum Diplom-Informatiker.- Von 1992 bis 1994 wissenschaftlicher Mitarbeiter an der Technischen Hochschule Berlin. Arbeitsschwerpunkte: formale Spezifikationen und deklarative Programmierung.- Seit 1994 wissenschaftlicher Mitarbeiter und Projektleiter am Fraunhofer Institut f´┐¢r Rechnerarchitektur und Softwaretechnik (FIRST) in Berlin. Arbeitsschwerpunkte: Methoden, Verfahren und Anwendungen der Constraint-Programmierung, insbesondere in der Planung.- Oktober 1998 bis Oktober 2003 Forschungskoordinator am Institut FIRST. Unterst´┐¢tzung der Institutsleitung bei der Neustrukturierung des Instituts, dessen wissenschaftliche Ausrichtung sowie dessen ´┐¢berleitung in die Fraunhofer Gesellschaft. Pr´┐¢sentation des Instituts nach innen und au´┐¢en.- Seit Januar 1999 stellvertretender Leiter des Bereichs Planungstechnik am Institut FIRST.- 1999 Promotion mit Auszeichnung zur adaptiven regelbasierten Constraint-Programmierung.