user@matrix-forum: ~/首页

> 中国高可信软件技术开拓者王戟：在这条路上一直走下去

views: 0 作者: 【编辑:张燕玲】 2026-08-30 21:33

【编辑:张燕玲】 [作者]

[#0 作者]

　　中新社长沙7月29日电 (记者李纯)在中国，一谈到高可信，人们一定会想到国防科技大学计算机学院研究员、博士生导师王戟。他的名字已经与中国高可信软件技术研究牢牢绑在了一起。正是他与导师的一篇论文开拓出“高可信”这片中国计算机科技研究的新领域。

> 评论 (0)

> WRITE_REPLY

user@matrix-forum:~/reply$

0/1000

user@matrix-forum:~$ _

─────────────────────────────────────────────────────────