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