Suche

Prof. Dr. Bernhard Möller


Professor, Extraordinarius im Ruhestand

E-Mail: bernhard.moeller@informatik.uni-augsburg.de
Telefon: +49 821 598 - 2164
Fax: +49 821 598 - 2274
Raum: 2048 (Gebäude N)
Hausanschrift: Universitätsstrasse 6a
86159 Augsburg


So finden Sie uns: Gebäude N im Lageplan, Anfahrt.

Publikationen

Technische Berichte

Projektleitungen

Betreute Dissertationen

Vorträge

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


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

Past Involvements


Links