Research |
Research Topics
Fundamentals of Programming Languages and Program
Development
- Semantics of programming languages
- Formal methods (especially transformational
programming, invariant-based development,
and calculational style)
- Logical aspects of program development
- Tool support (especially our visualization tool KIEL and our
GUI tool JAVA-RAP for the
Passau
RAP system)
Relational Methods in Computer Science
- Abstract relational algebra
- Relation-based problem specification and program
derivation
- Generalizations of relational algebra to extend the
scope of the methods
- Tool support (especially our prototyping tool RelView)
Graphs and Algorithms
- Use of graphs for modeling
- Formal development of graph-theoretic
algorithms
- Visualization of relations as graphs
- Implementation of relations via BDDs
- Software
visualization and algorithm animation
Cooperations
- Together with Medical University Lübeck -
Project Teachware
- Together with Universities Augsburg, Buenos Aires,
Cordoba - DAAD Project PROALAR
- International Workinggroup
RelMiCS
- COST - Action 274
TARSKI
- ESF - Research programme
LogiCCC,
project SSEAC, together with the universities Lyon, Tilburg, Turku and Valladolid
Research Reports (extracts from the institute's
reports)
Rudolf Berghammer -
rub@informatik.uni-kiel.de
Last modified:
25-Jun-2008, 11:35:44 MEST
