放弃海外优渥条件回武汉 鼓励学生做研究别怕失败 “软件卫士”为软件把脉20余年

向剑文（右五）和学生们在一起

□楚天都市报极目新闻记者 李碗容 通讯员 焦阳 谢小琴

电脑怎么突然黑屏？手机为何突然卡顿？双十一购物节服务器宕机？这些都是软件“生病了”，国内外有一大批学者致力研究这一系列问题。武汉理工大学计算机与人工智能学院教授向剑文就是这样一名“软件卫士”，专注该领域二十余年。

7年前，向剑文放弃国外发展机会来到武汉理工大学，带着一批师生探索软件的可靠性，取得了不错的成绩。26日，由该校计算机与人工智能学院申办的第32届软件可靠性工程国际会议开幕，这是该领域的顶级会议，30余年来首次在中国内地举办。

软件可靠性与生活息息相关

什么是软件可靠性？对老百姓有哪些影响？向剑文介绍，软件可靠性跟国家和老百姓的生活都密切相关，“从日常手机软件到银行软件、智能驾驶和无人驾驶的软件、基础设施的软件都是我们的研究领域。我们常见的系统崩溃或手机卡顿，用久了需要重启，就是软件可靠性的一种体现。”

1993年，向剑文从湖南来武汉求学，就读于武汉大学计算机应用专业，逐步踏上科研路。目前，他带领着武汉理工大学计算机与人工智能学院可信安全计算实验室，团队主要聚焦复杂系统的可靠性建模和分析、基础软件老化与重生、漏洞挖掘、生物信息安全、多媒体安全、软件缺陷预测等方向的研究。

2014年以来，向剑文带领团队主持和承担包括国家自然科学基金、国家科技支撑计划子课题、湖北省创新群体项目等多项国家省部级科研项目。“我们团队很有干劲，这是大家都热爱的科研方向，也是我们国家的卡脖子难题。向教授在这方面取得了很多不错成绩，我们和向老师共同前进。”该团队胡文华老师说。

放弃国外优渥待遇回汉做研究

向剑文回忆，2014年，在日本工作生活12年的他收到武汉理工大学的邀约。当时他在日本NEC公司任中央研究所主任，待遇优渥，却毅然接下了该校的橄榄枝，“回国是我一直的心愿，我想回祖国，用所学报效祖国。”

于是，向剑文当年携家人回到祖国，加入武汉理工大学计算机与人工智能学院。“7年前，熊盛武院长带队前往机场接机，学院书记与我深入谈话，都深深触动了我。学校和学院对人才的重视、对创新的探索、对行业的支撑、对建设的担当，让我深信这里必将是我实现家国情怀、实践建设使命的沃土。”7年前回国的情景，向剑文至今难忘。

来到武汉理工大学后，向剑文一头扎进了实验室，铆足劲做科研。“2014年我跟着向老师学习，他做研究很投入很认真，实验室的灯很晚都还亮着。有时过了半夜12点，他还会跟我反馈论文修改意见。”该校博士研究生叶璐瑶说。

目前，向剑文在国际权威期刊和会议上发表学术论文70余篇，多次获国际会议最佳论文奖；申请美国、日本、中国PCT国际专利30余项，其中美国授权4项、日本授权8项。

鼓励学生做研究别害怕失败

“科学研究是在失败中前进的。”向剑文鼓励学生时总这么说，他还常跟学生分享自己做研究的经历，包括失败的故事，以此激励学生。

该校学生周四维告诉极目新闻记者，2019年他在开展动态故障树时遇到了难题，翻阅文献、做实验都无法取得实质进展，“一筹莫展时，我跟向老师进行了交流，他肯定了我的探索精神，还勉励我不要害怕失败。”

向剑文耐心地跟周四维分析了研究内容，指导其突破难题。最终，周四维顺利完成研究内容，并发表了论文。“我们在做研究时，很多时候是无法战胜失败的。但向老师经常鼓励我们说，失败也有意义，就是让大家明白这条道路是走不通的。”周四维说。

“向老师也是这样鼓励我的，有时做研究气馁时，他会鼓励我坚持，别怕失败。”叶璐瑶说，2014年她跟随向老师做研究，取得了一些学术成就。