Prof. Dr. Martin Wirsing studied Mathematics at the University of Paris and at the Technical University of Munich. From 1975 until 1983 he worked as a research and teaching assistant at the Sonderforschungsbereich ``Programmiertechnik'' at the Technical University of Munich. During this time he had been a member of the Munich CIP group that worked on program specification and transformation. He wrote his dissertation at the Technical University of Munich (with the title ``Das Entscheidungsproblem der ``adikatenlogik erster Stufe mit Funktionszeichen in Herbrandformeln'') and his habilitation (1984 with the title ``Structured algebraic specifications: a kernel language''). Since 1985 he is full professor for Computer Science at the Faculty of Mathematics and Computer Science at the University of Passau. He is working in the ESPRIT projects METEOR, DRAGON and in the ESPRIT Working Group COMPASS. From 1986 to 1988 he had been the chairman (Dekan) of the Faculty of Mathematics and Computer Science of the University of Passau, and from 1988 till 1990 he was the vicechairman (Prodekan) of the faculty. Martin Wirsing has published more than 90 scientific papers in the areas of mathematical logic, programming methodology, semantics of programming languages, program transformation and program development, formal specification and algebraic specification languages. Since 1990 he is one of the directors of the ``Bavarian Research Center of Knowledge-based Systems'' (FORWISS). He is member of the editorial board of several scientific journals including Theoretical Computer Science, Technique et Science Informatique, RAIRO-Informatique Theorique et Applications and Research Notes in Theoretical Computer Science.