Gran parte del debate mundial sobre el poder militar chino se centra en el hardware, pero una parte vital del proceso de modernización está en el campo de la verificación del software.
Wang Ji, investigador de informática de la Universidad Nacional de Tecnología de Defensa (NUDT), está mentora de una nueva generación de científicos para tratar el código de software en los sistemas nacionales de defensa con la misma precisión que los médicos diagnostican pacientes.
Después de perder ambas piernas a una emergencia que amenaza la vida, Wang, 56, se ha quedado en...