Ezio Bartocci (co-PI)

Agata Ciabattoni (PI)

Thomas Eiter (co-PI)

Ignacio Lopez Miguel (PhD) -- funded by LogiCS@TUWien

Emeric Alexander Neufeld (Postdoc)

Davide Solda (PhD) -- funded by LogiCS@TUWien

Sebastian Adam (PhD)