Projektleiter_in

• Ezio Bartocci (E191-01)
• Maria Christaki (E194-01)
• Thomas Gärtner (E194-06)
• Matteo Maffei (E192-06)
• Georg Weissenbacher (E192-04)

Subprojektmanager_innen

• Eva Schenner (E194-01)

Förderungmittel

• FWF - Österr. Wissenschaftsfonds (National) doc.funds Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

• Logic and Computation: 31%
• Information Systems Engineering: 37%
• Computer Science Foundations: 20%
• Computer Engineering and Software-Intensive Systems: 12%

Publikationen

• Publikationsliste