I am a software engineer team lead working at DiffBlue working in C++ on the CBMC engine. I have been a team lead for two years, and a junior developer at Diffblue for a year prior to that. I have 3 years games industry experience, including working as a programmer at Born Ready Games where we shipped Strike Suit Zero. I have a 1st class honours degree in Discrete Mathematics from the University of Warwick. He/him.