T. Kiley

I am a software engineer team lead working at DiffBlue working in C++ on the CBMC engine. I have been a team lead for half a year, 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.