姜宇(清華大學軟體學院副教授)

姜宇(清華大學軟體學院副教授)

本詞條是多義詞,共19個義項
更多義項 ▼ 收起列表 ▲

基本介紹

人物履歷,教育背景,工作履歷,學術兼職,主要貢獻,人物榮譽,

人物履歷

教育背景

2010年9月至2015年1月,清華大學計算機科學與技術博士
2006年9月至2010年7月,北京郵電大學軟體工程,學士

工作履歷

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 Design Automation 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-time 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年9月,獲得2020年阿里巴巴達摩院青橙獎
2020年,ACM ICSE工業論文最佳論文提名
2019年,ACM EMSOFT最佳論文提名
2019年,IEEE CPSCom最佳論文
2018年,中國科協青年托舉人才
2017年,全國軟體測試大賽優秀指導教師
2015年,中國計算機協會優秀博士學位論文

相關詞條

熱門詞條

聯絡我們