Tele-Informatics Open Systems

After the introduction of the Wet Modernisering Universitair Bestuur (MUB) the Tele-Informatics and Open Systems (TIOS) group was split into three groups:

Formal Methods and Tools group (FMT - INF)

The Formal Methods and Tool group is part of the department of computer science (INF) and is headed by Professor Ed Brinksma. As the name suggests, the group is concerned with the development and application of formal models and tools. Areas of research include models of concurrency, design methodologies for distributed systems, and the verification, validation and testing of systems, as well as compiler development, simulators, interpreters and more generally, system development environments.

Telematics Systems and Services group (TSS - INF/EL)

The Telematics Systems & Services (TSS) group is responsible for research and education in the area of telematics. The group is part of the faculties of Computer Science (INF) and Electrical Engineering (EL), and consists of five discipline groups: Application Protocol Systems (APS), Architecture of Telematics Systems (ARCH), Communication Systems (CS), Quantitative Analysis and Methods (QAM) and Telematics Systems Management (MGT).

Telecommunicatie

The Telecommunicatie group is part of the department of Electrical Engineering (EL) and is headed by Professor Wim van Etten. The groups is concerned with the transmission of information via copper cable, opticle fibres, microwaves and radio.

You are requested to update your links and point directly to one (or more) of the groups above. The old TIOS pages are no longer available.

This page was last updated at 20 April '01