Projektleiter_in

• Ezio Bartocci (E191-01)
• Agata Ciabattoni (E192-05)
• Thomas Eiter (E192-03)

Projektmitarbeiter_innen

• Emeric Alexander Neufeld (E192-05)

Förderungmittel

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

Forschungsschwerpunkte

• Logic and Computation: 33%
• Computer Science Foundations: 66%

Publikationen

• Publikationsliste