Correct System Design

Welcome to the web-pages of the Correct System Design group (until 1st April 2003: Semantics group), for short CSD. This department is headed by Prof. Dr. Ernst-Rüdiger Olderog . It belongs to the Department of Computing Science of Faculty II at Carl von Ossietzky University of Oldenburg and is assigned to Theory of Computing. For information on how to reach us please use our help page.

The work focusses on theory of programming. In particular, formal semantics for parallel and distributed systems is studied, considering operational, denotational and predicative approaches as well as transformational.

The common goal of these efforts is to establish methods for the systematic development of correct software for communicating distributed real-time systems.

In cooperation with partners from industries, the resulting methodology is applied to a variety of case studies, reaching from telecommunication to traffic control systems.

In September 2002 Prof. Dr. Ernst-Rüdiger Olderog and Prof. Dr. Werner Damm were hosting the seventh international symposium FTRTFT 2002 (Formal Techniques in Real-Time and Fault Tolerant Systems).