With a PhD in compilers and static analysis and work on Mozilla's JavaScript engine, he co-founded CircleCI in 2011 to automate continuous integration for developers, serving as founding CEO.