......

图源：中国青年报报道截图

为何姜宇老师如此优秀呢？让我们近一步了解一下他的科研经历吧~

从本科至博导期间，他发表论文50余篇，其中第一作者或通信作者ACM/IEEE汇刊11篇，CCF A类会议21篇，申请发明专利7项。也曾受邀担任多个著名系统软件设计领域国际会议的程序委员会委员及组委, 如RTAS及MODELS会议的程序委员会委员，ICCAD会议的医疗信息融合系统跨层级可信性专题分会的组织主席，国际物联网大会周（CPSWeek）的网络主席等。获 ICSE-SEIP、EMSOFT 等会议最佳论文奖或提名奖 5 次，授权发明专利 7 项。

当谈起研究方向，姜宇目前的研究围绕工业控制软件展开，在功能安全性保障和信息安全性保障两个方向均作了探索，并取得了多个研究成果。在功能安全性保障方面，研发了Tsmart-MDD——基于异构形式计算模型的工业控制软件建模、验证与综合工具集；在信息安全性保障方面，我们研发了工业控制软件安全性分析工具Tsmart-DATE。

他表示自己的研究团队致力于为国产工控软件护航。在这个领域，中国目前也处于被 “卡脖子” 的状态，一些核心的工控软件控制器和工控软件设计分析工具，均为国外所掌握和垄断。

他用“阴差阳错”描述自己的科研历程

在科研生涯的起步阶段，姜宇并非一下就认准了计算机，他用了好几个 “阴差阳错” 来描绘自己的命运。“我最开始不是很喜欢计算机，考大学时想去同济大学念土木工程，也不知道为啥想去。”

但住在他家对面的老师说，北邮的软件工程专业好，出来能赚好多钱。于是阴差阳错地去了北京邮电大学。后来，又阴差阳错地拿到了保送清华计算机系的资格，觉得不用有点可惜，所以就去了。

再后来，虽然对计算机还不是很感兴趣，但论文竟然发得还凑合

，提前毕业还拿了优博，而且再一次阴差阳错地到美国伊利诺伊大学香槟分校做博士后。

事后姜宇回想，最关键的转变其实发生在他的读博阶段的第三年底，自己的第一篇 A 类期刊论文，历时两年半，前后被打回要求修改了 6 轮终于接收；师兄师姐带着一起研发的车辆总线控制器成功上车装配…… 让自己感受到了科研带来的乐趣和满足。个中辛苦，冷暖自知。

全国区块链应用大赛 图源：软小宣

科研应该尽量做有意义的研究

姜宇老师认为，科学研究不应该停留在纸面和论文上，需要服务于实际的产业，尽量做有意义研究，这类研究有些可能能很快落地，有些可能要很久以后才能落地，但是千万不能做一些为了发论文而肯定没有实际意义的工作。

姜宇老师的研究工作比较注重产业落地和与实际痛点结合， 获得腾讯犀牛鸟创新基金，阿里达摩院创新基金，三菱重工全球创新基金，华为科研创新基金等奖励资助，并取得良好应用效果，比Google，Berkeley等机构研发的漏洞挖掘工具效率提升显著。

在共同发表高水平论文的同时也在真实软件系统中，如以太坊虚拟机，华为通信协议，阿里操作系统，腾讯QQ等软件，发现大量严重影响系统正确性的安全隐患，其中110个漏洞被同时收录到美国国家信息安全漏洞库和中国国家信息安全漏洞库中。

他和小组成员听到 “Bug” 这个词时，会觉得兴奋。未来 3 到 5 年，姜宇和他的研究团队，将会继续围绕着工具平台进行算法和理论的创新，力争实现典型应用场景的国产化替代。

来源：中国青年报、软小宣、量子位、DeepTech深科技返回搜狐，查看更多