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).
- Formal semantics
- Algebraic and logical specifications (theory and applications)
- Higher-order functions (theory and applications)
- Infinite objects (theory and applications)
- Theory of parallelism and nondeterminacy
- Transformational program development
- finding and formalizing strategies
- formal specification development of
- machine-level programs
- hardware descriptions
- algorithms for non-conventional machines
- parallel algorithms
- data type transformations
- system support
- Design of high-level language concepts
- Relational programming
- Member of IFIP Working Group 2.1 "Algorithmic Languages and Calculi"
- Member of the informal International Working Group RelMiCS - Relational Methods in Computer Science
- Member of the Editorial Board of JORMICS - Journal on Relational Methods in Computer Science
- Former Coordinator of Esprit Working Group 8533 NADA - New Hardware Design Methods
Membership in Programme Committees
- 10th International Seminar on Relational Methods in Computer Science (RelMiCS 8) and 5th International Workshop on Applications of Kleene Algebra, April 7-11, 2008, Frauenwörth, Germany
- Ninth International Conference on Mathematics of Program Construction (MPC '08), CIRM, Marseille (Luminy), France, 15-18 July 2008