Paul Biggar is cofounder and CTO of Dark. He is the former CEO and cofounder of CircleCI, and previously did a PhD researching compilers and static analysis.