Matthew Mirman

Before founding Anarchy, Matt received his PhD in AI from ETH Zurich in 2022 where he scaled verified machine learning from working on 10 neuron toy nets in hours to 100m neuron nets in milliseconds and invented differentiable abstract interpretation and provable training. Before this, he worked at apple on JS compiler optimizations that saved the world a billion dollars in time wasted waiting for pages to load, and before that got an MS from CMU on meta-programming CoC logic languages.