Much of the global debate on Chinese military power focuses on hardware but a vital part of the modernisation process is in the niche field of software verification. Wang Ji, a computer science researcher at the National University of Defence Technology (NUDT), is mentoring a new generation of scientists to treat the software code in national defence systems with the same precision as doctors diagnosing patients. After losing both legs to a life-threatening emergency, Wang, 56, has stayed at the...