olderog is professor of theoretical computer science at the carl von ossietzky university oldenburg. he is head of the department of correct systems development, whose research is related to the field of programming theory. the aim of this work is the development of procedures for the systematic creation of correct software for parallel and distributed systems with time requirements. olderog is the author of several scientific books.