The GRACE Advisory Committee helps shape up and orient the project through their advice, but also through contributions to the project in the form of trainings or visits.

Kevin Buzzard
number theory and formalization
Gabriele Nebe
algebra and number theory
Richard Schwarz
geometric group theory