Prof. Dr. Bernhard Möller
Professor, Extraordinarius im Ruhestand
So finden Sie uns: Gebäude
N im
Lageplan,
Anfahrt.
Research Interests
- 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
Memberships
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
Links