Project leader

• Georgia Avarikioti (E192-06)

Grant funds

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Information and Communication Technologies Vienna Science and Technology Fund (WWTF)

Research focus

• Logic and Computation: 100%

External partner

• Institute of Science and Technology Austria

Publications

• Publications