AVACS
Kontakt
Leitung
Sekretariat
Contact
Head
Secretary
AVACS
Project description
Project duration: 01.01.2004 to 31.12.2015
AVACS is a transregional Collaborative Research Centre (CRC), which is carried out in co-operation between the University of Oldenburg, the University of Freiburg, Saarland University and the Max Planck Institute for Computing Science in Saarbrücken.
In Oldenburg, our department "Development of Correct Systems" is involved in the sub-projects R1 "Beyond Timed Automata", R3 "Heuristic Search and Abstract Model Checking for Real-Time Systems", and H3 "Automatic Abstraction of Hybrid Controllers". In addition to Prof Dr E.-R. Olderog (R1, H3), Dr Henning Dierks (R3, H3) and Prof Dr Heike Wehrheim (R1) are the contact persons.
The research focus is on the semantics, specification and verification of reactive systems, especially those with real-time properties. Furthermore, the use and further development of tools for the automatic verification of time-critical systems plays a central role.
Vacancies
The CRC AVACS offers motivated and creative young scientists an excellent research environment and the opportunity to pursue a doctorate.
Open positions in our department, which are located in the SFB AVACS, can be found in our job advertisements. For information on other positions, please visit the AVACS homepage.