Richard Baker received the BEng (Joint Hons) degree in electronic engineering and computer science from Aston University, Birmingham, United Kingdom, and the MSc degree (with distinction) in gas turbine controls from the University of York, United Kingdom. He is a lead software architect at Aero Engine Controls, Birmingham. He has been involved in the design and generation of safety-critical control systems for 17 years.