Project leader

• Thomas Gärtner (E194-06)

Project personnel

• Pascal Welke (E194-06)

Förderungmittel

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

Research focus

• Logic and Computation: 20%
• Information Systems Engineering: 80%

External partner

• University of Vienna

Publications

• Publications