Project leader

• Ezio Bartocci (E191-01)
• Efstathia Bura (E105-08)
• Laura Kovacs (E192-04)

Subproject managers

• Sonja Rees (E191-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: 60%
• Mathematical and Algorithmic Foundations: 13%
• Computer Engineering and Software-Intensive Systems: 26%

Publications

• Publications