Programming Methodology and Multimedia Information Systems (Prof. Möller)

The research profile of the professorship for programming methodology and multimedia informations systems is the following.

Its central working area are formal methods for the description, spezification and derivation of systems, both in software and hardware:

• Development of easy-to-use algebraic calculi for the formal description and derivation of systems,

• in particular, modal Kleene algebra and its applications,

• methodology for the safe development of programs involving complex pointer structures.

A further working field is multimedia support for teaching. In particular, the LaTeX-based presentation System JPP has been developed.

The research work of the professorship is, moreover, embedded into the following international gremia:

• IFIP Working Group 2.1 "Algorithmic Languages and Calculi".

• International Working Group "Relational Methods in Computer Science".