How an amputee Chinese scientist is fortifying the country’s military software

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...