He has worked on a multiple aspects of Ufora’s auto-parallel, multi-host, open source Python project, Pyfora. He has a PhD in mathematics from Columbia University, where he specialized in low-dimensional topology, using Heegaard Floer homology to compute invariants of manifolds, and has a BA in mathematics from Rutgers University.