中国科学家王继（Wang Ji）正在国防科技大学领导一项旨在提高军事软件安全性和可靠性的工作。尽管因医疗紧急情况失去了双腿，王继仍重返研究岗位，专注于国防系统的软件验证。他的工作旨在确保中国战略国防资产背后的代码没有错误和漏洞，为中国的军事现代化做出重大贡献。 AI
影响 专注于军事应用的软件验证，这是一个具有国防技术潜在影响的细分领域。
排序理由 文章侧重于个人贡献及其对军事软件的影响，而非特定的发布、政策或研究突破。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
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…