He co-founded Kodit.io in 2017, helping build the machine-learning valuation engine behind its instant home-buying model.