The Informatics Institute is divided into five research groups:
The Formal Models project focuses on development of a process
theory and tools that can be used to specify and verify concurrent communicating
systems; research on modularisation of specifications, theory of module
algebra; algebraic specification of data types.
We study methodologies to create intelligent autonomous systems, which
perceive their environment through sensors and use that information to
generate intelligent, goal-directed behaviour. This work includes formalization,
generalization and learning of goal-directed behaviour in autonomous systems.
We focus on the following topics: perception for autonomous systems, learning
and neurocomputing, principles of autonomous systems, hardware and software
The ISIS group research is targeted at sensory information processing (in
particular image information) and sensory information systems. Theory and
methodological aspects (mathematical morphology, image detectors) as well
as practical aspects (performance evaluation, system design) are addressed.
Application areas are: conversion of paper maps, document image analysis,
digital measurement, digital image processing environments, multi media
databases, query be pictorial example.
The Parallel Systems Architecture project involves the design and evaluation
of parallel hardware and software architectures as integrated systems with
emphasis on experiments. The project includes applications of distributed
This section aims to develop methods and systems which enable (concurrent)
simulation of domain specific phenomena on parallel and distributed systems.
The research concentrates on (automatic) identification and exploitation
of locality in both space and time in the models. In our approach we identify
three mutually interacting levels when moving from a domain specific problem
towards the actual parallel-, embedded- or distributed systems on which
the application is (or will be) executed: the application level, the solver
and mapping level and the system support level.
The Programming Environments project focuses on generating programming
environments given a formal language definition. In particular the construction
of generic user-interfaces, and the development of generic methods for
the textual and graphical representation of structured objects.
The research in the subproject Run Time Systems and Tools for Parallel
Computing concentrates on the lowest level and on the development of
tools (e.g. for parallelization and mapping) which are required in all
three levels. In this subproject there is a strong collaboration with the
Parallel Systems Architecture project.
The subproject Algorithms and Applications for Parallel Computing
contains the research in the application and solver level and research
in the area of decomposition techniques.
Comments to: firstname.lastname@example.org