Informatics Informatics Department Software Engineering

Jump To Main Content

Jump Over Banner


InformaticsSystems EngineeringSoftware

Jump Over Left Menu


Software Engineering within Informatics concentrated on the theme of quality software through formal specification and verification.

In consequence, most of the research activities and some of the support activities were related to that theme.

The activities focus on Theorem Proving, Equational Reasoning, and Formal Specification.

See also: