Udover Alessandro Bruni, der er specialist i matematisk formalisme, statistik og maskinlæring, tæller projektet Ekaterina Komendantskaya, professor ved University of Southampton og ekspert i AI, maskinlæring, logik og programmeringssprog, samt Reynald Affeldt, som er seniorforsker ved AIST i Japan og ekspert i teori om verificerbar information og sandsynlighedsbaseret programmering.