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 |