Projektleiter_in

• Dominique Schröder (E192-08)

Förderungmittel

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

Forschungsschwerpunkte

• Logic and Computation: 100%

Externe Partner_innen

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
• Uni Wien
• Institute of Science and Technology Austria

Publikationen

• Publikationsliste