The group is currently working on a number of research projects.
The most active ones are:

Automatic Generation of Test Cases
High-Level Concepts for Parallel Programming
E-Learning
Performance of Distributed Systems
Integration of Functional and Logical Programming

Publications

Here you can find a number of publications by Prof. Kuchen and the members of his group.

List of publications

Further Information

Skeletal Parallelism
Curry
Babel

• Top
• back