Fields of Research
- Programming languages and formal program derivation
- Relation-based calculi and their applications in Computer Science
- Tool support for specification, development and verification
- Use of graphs in Computer Science
Group leader
Christian-Albrechts-Platz 4, R. 708 (CAP 4)
Phone:
+49 431 880-7272
Telefax:
+49 431 880-7613
rub@informatik.uni-kiel.de