He didn't technically found it, but did a significant amount of work porting their 1.0 lisp code into python... Also he had an equal share of their parent company, I believe.