Projektleiter_in

• Thomas Eiter (E192-03)
• Nysret Musliu (E192-02)
• Zeynep Gözen Saribatur Yaman (E192-02)

Subprojektleiter_in

• Nysret Musliu (E192-02)

Förderungmittel

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

Forschungsschwerpunkte

• Logic and Computation: 100%

Publikationen

• Publikationsliste