Since you didn't include it, but it's relevant to the topic at hand -- Michael Freedman is also a Fields medalist that did substantial work in topology. Which i

Since you didn't include it, but it's relevant to the topic at hand -- Michael Freedman is also a Fields medalist that did substantial work in topology. Which is, ultimately, why he's involved with Station Q -- he was part of the group that realized you could use the topological structure of certain interactions to encode general computations, and was part of convincing MS to pursue that. https://en.wikipedia.org/wiki/Michael_Freedman https://en.wikipedia.org/wiki/Michael_Freedman