Project leader

• Ezio Bartocci (E191-01)
• Maria Christaki (E194-01)
• Thomas Gärtner (E194-06)
• Matteo Maffei (E192-06)
• Georg Weissenbacher (E192-04)

Subproject managers

• Eva Schenner (E194-01)

Grant funds

• FWF - Österr. Wissenschaftsfonds (National) doc.funds Austrian Science Fund (FWF)

Research focus

• Logic and Computation: 31%
• Information Systems Engineering: 37%
• Computer Science Foundations: 20%
• Computer Engineering and Software-Intensive Systems: 12%

Publications

• Publications