Project leader

• Maria Christaki (E194-01)
• Laura Kovacs (E192-04)
• Matteo Maffei (E192-06)

Subproject managers

• Eva Schenner (E194-01)

Grant funds

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

Research focus

• Logic and Computation: 83%
• Information Systems Engineering: 16%

Publications

• Publications