Research Topics
The group is currently working on a number of research projects.
The most active ones are:
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



