Projektleiter_in

• Ezio Bartocci (E191-01)
• Efstathia Bura (E105-08)
• Laura Kovacs (E192-04)

Subprojektmanager_innen

• Sonja Rees (E191-01)

Förderungmittel

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Informations- und Kommunikationstechnologien Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)

Forschungsschwerpunkte

• Logic and Computation: 60%
• Mathematical and Algorithmic Foundations: 13%
• Computer Engineering and Software-Intensive Systems: 26%

Publikationen

• Publikationsliste