Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

Overview
The research area of the group is automata theory and logic in connection with the
specification, automatic verification, and automatic synthesis of programs. The focus of our
present research is the evolving algorithmic theory of infinite graphs, with applications to
model-checking, and the study of infinite games in various forms, e. g. as a model of reactive
systems.
Major projects in which our group participates are the following:
• DFG-Research Training Group AlgoSyn (“Algorithmic synthesis of reactive and
discrete-continuous systems”)
• Excellence Cluster UMIC (“Ultra High-Speed Mobile Information and
Communication”) of Wissenschaftsrat and DFG
• Project AutoMathA (“Automata Theory: From Mathematics to Applications”) of the
ESF (European Science Foundation)
• Project GASICS (“Games for analysis and synthesis of interactive computational
systems”) of the ESF (European Science Foundation).
The group is also present in the B-IT Research School, an institution for integrated doctoral
studies in cooperation with the Department of Computer Science of the University of Bonn.
One member of the group (W. Fridman) pursues a doctoral research project within the school.
Highlights
The dominating event of the year was the farewell to our
secretary Marianne Kuckertz who served for more than 20
years at the Lehrstuhl, first under the direction of Walter
Oberschelp (until 1998 “Lehrstuhl für Angewandte
Mathematik, insbesondere Informatik”) and then with
Wolfgang Thomas (from 1998 “Lehrstuhl Informatik 7”).
Many generations of students and group members have
appreciated her absolutely perfect and competent style of work
and her friendly attitude to all failures that occurred around her
(including those of the professors...). In a farewell party on 9th
June at the Lehrstuhl (see photo), we expressed our deep
thanks to her and wished her a wonderful time in her new and
more relaxed status as “retiree”. Since that day, Marianne
Kuckertz still helped in several cases via the “telephone
hotline”, for example supporting her successor Silke Cormann
as new secretary.
From 28th June to 2nd June, the Summer School MoVeP (“Modelling and Verifying Parallel
Processes”) took place in Aachen, organized by Christof Löding. More than 60 participants
from 12 countries attended; the program included tutorials by K. Chatterjee (Stochastic
games), V. Cortier (Verification of security protocols), B. Jonsson (Testing and model
generation), J.-P. Katoen (Model checking probabilistic systems), A. Phillips (Programming
languages for biology), and J. Worrell (Timed systems).
Within the Research Training Group AlgoSyn (Algorithmic Synthesis of Reactive and
Discrete-Continuous Systems), two special events are to be mentioned: First, the annual
252