ARIA
—
Programme Director
AI safety, applied category theory, systems neuroscience, mathematical modelling, programming languages, cooperative game theory, …