Prof. Dr. Bernhard Möller

Professor Emeritus

Tel.: +49 821 598 - 2164
Fax: +49 821 598 - 2274
Room: 2048 (building N)
Address: Universitätsstrasse 6a
D-86159 Augsburg, Germany

How to find me: building N at campus, directions


Technical Reports

Project Leaderships

Doctoral thesis Supervisor


Curriculum Vitae

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


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

Past Involvements