姜宇,男,清華大學軟件學院助理教授。2020年9月,獲得2020年阿里巴巴達摩院青橙獎。
人物經歷
教育背景
2010年9月至2015年1月,清華大學計算機科學與技術,博士
工作履歷
2019年12月至今?清華大學軟件學院,副教授
2016年9月2019年11月 清華大學軟件學院,助理教授
2015年4月至2016年8月 伊利諾伊大學厄巴納香檳分校,博士后
學術兼職
PC, 43th ACM/IEEE International Conference on Software Engineering(ICSE),2021
PC, 57th ACM/IEEE 設計 自動化技術 Conference(DAC), 2020
PC, 20th ACM/IEEE International Conference on Embedded Software(EMSOFT),2020
PC, 10th ACM International Conference on Cyber-Physical System(ICCPS), 2020
PC, 25th IEEE Real-時間 and Embedded Technology & Applications Symposium(RTAS), 2019
PC, 22nd ACM International Conference on Model Driven Engineering Languages and Systems(MODELS), 2019
獲得榮譽
2019年,被2019福布斯中國征集為30歲以下精英。
2020年,ACM ICSE工業論文最佳論文提名
2019年,ACM EMSOFT最佳論文提名
2019年,IEEE CPSCom最佳論文
2018年,中國科協青年托舉人才
2017年,全國軟件測試大賽優秀指導教師
2015年,中國計算機協會優秀博士學位論文
主要貢獻
他通過模型驅動的開發與測試技術,推進了工業控制系統的軟件設計與漏洞分析平臺的自主可控和效率提升。
參考資料 >