Aron received his PhD in mathematics from the City University of New York in 2015. His specialization was in Algebraic Topology and Homotopy theory. Since his graduation he has been studying homotopy type theory in his free time and is interested in how (higher) type theory can help us write safer smart contracts.
He moved to Amsterdam in 2016 and is currently working for Colony in R&D, developing the governance protocols, and for the Ethereum Foundation’s Swarm team where he is working on state and payment channels for the swarm incentive structure. He regularly participates in the Casper research hangout and can be found in the ethereum research gitter channel under the handle ‘homotopycolimit’.