他是清华大学软件学院副教授、博士生导师，姜宇，研究方向是工业控制软件的安全分析。纵观姜宇的科研之路，也算是一段传奇的经历了，他从一名初入大学的本科生走到现在的博士生导师，也仅仅只用了10年。

9月9日，31岁的他，入选阿里达摩院颁发给10位青年学者的青橙奖，获得了100万元奖金。

获奖后，他表示：“自己作为老师，教书育人挺有成就感和满足感。唯一比较遗憾的就是头发，曾经自己长发飘飘，如今胡子比头发长。我一个师弟本来（头发）快光了，但戴完假发后，我觉得还挺帅”。可见这位清华博导的幽默~

清华大学软件学院副教授、博士生导师，姜宇

姜宇在1989年出生于江西南昌，2010年，他本科毕业于中国邮电大学软件工程专业，获学士学位。同年考入清华大学计算机科学与技术专业，并于2015年毕业并获得博士学位。2015年4月至2016年8月，曾至伊利诺伊大学厄巴纳香槟分校做博士后研究。2016年9月，回到清华大学任职助理教授直至2019年11月。2019年12月晋升为清华大学软件学院副教授，并成为了一名博士生导师。

在本次青橙奖中，旨在寻找最有潜力的青年科学家，达摩院给出姜宇的获奖理由是： 通过模型驱动的开发与测试技术，推进了工业控制系统的软件设计与漏洞分析平台的自主可控和效率提升。

当问及他获得100万奖金的感受时，姜宇表示：感觉自己有点像贫民窟百万富翁的感觉，而且感觉好几年工资呢 ......

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

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

从本科至博导期间，他发表论文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深科技