UvA home
last update
visitors in

Informatics Institute

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.
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.

Intelligent Autonomous Systems

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 systems.

Intelligent Sensory Information Systems

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.

Computer Architecture and Parallel Systems

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 architectures.

Section Computational Science

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 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: richardk@science.uva.nl