Projektleiter_in

• Ezio Bartocci (E191-01)
• Agata Ciabattoni (E192-05)
• Thomas Eiter (E192-03)

Projektmitarbeiter_innen

• Emeric Alexander Neufeld (E192-05)

Grant funds

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

Forschungsschwerpunkte

• Logic and Computation: 33%
• Computer Science Foundations: 66%

Publikationen

• Publikationsliste