CTO of ARM Technology. Principal at Boken Group. Former VP Technology, Director of Engineering, Chief Enterprise Architect, and programmer of all sorts. Mostly start-ups, recently, including an Inc. 500 topper, with F5 and Gov't background. I trained in maths-based CS; I value correctness and rigor in the systems I design.