Short Curriculum Vitae of Prof. Dr. Bernhard Möller
Prof. Dr. Bernhard Möller studied informatics and mathematics at the Technical University Munich and Cornell University. He holds an M.S. degree from Cornell and completed his doctorate and habilitation at TU Munich.
He has been involved in the project CIP - Computer Aided, Intuition-Guided Programming at TU Munich, where he worked on the design of the language CIP-L and of the transformation system CIP-S, as well as on the methodology of deductive design.
Since 1990 he has been Professor of Informatics at the University of Augsburg.
He is a member of IFIP WG 2.1 on Algorithmic Languages and Calculi and of the informal international working group RelMiCS - Relational Methods in Computer Science. From 1994-1998 he has been the coordinator of Esprit WG 8533 NADA - New Hardware Design Methods. Currently he is involved the DFG project InopSys - Interoperable Calculi for System Modelling, performed together with M. Broy and T. Nipkow (TU Munich), W. Reif (U Augsburg) and M. Wirsing (LMU Munich).
His main interests lie in the formal description and derivation of systems, in particular using algebraic methods. To this end he is currently investigating the theory and applications of Modal Kleene Algebra, an extension of Kleene algebra with tests developed in collaboration with J. Desharnais (Quebec) and G. Struth (Munich).