姓名：姜宇
职务：副教授
邮件：jy1989@mail.tsinghua.edu.cn
地址：清华大学东配楼11区319室
主页：https://sites.google.com/site/jiangyu198964/home
教育背景 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

研究领域 信息物理融合系统，软件系统安全

奖励与荣誉 2020年，ACM ICSE工业论文最佳论文提名
2019年，ACM EMSOFT最佳论文提名
2019年，IEEE CPSCom最佳论文
2018年，中国科协青年托举人才
2017年，全国软件测试大赛优秀指导教师
2015年，中国计算机协会优秀博士学位论文

学术成果 [1] Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao and Zuo Su. EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzer. 28th USENIX Security Symposium (Security), USA , 2019
[2] Jie Liang, Yu Jiang, Mingzhe Wang, Yuanliang Chen and Jiaguang Sun. PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode. 26th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), USA , 2018
[3] Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi and Jiaguang Sun. VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation. 26th ACM Symposium on the Foundations of Software Engineering(FSE), USA, 2018
[4] Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun. DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. 26th ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE), USA, 2018
[5] Mingzhe Wang, Jie liang, Yu Jiang, Jiaguang Sun. SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing. 38th ACM International Conference on Software Engineering(ICSE), Sweden, 2018.
[6] Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Jiaguang Sun, and Lui Sha. Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Transactions on Cyber-Physical Systems(TCPS), 2017.
[7] Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha. Use Runtime Verification to Improve the Quality of Medical Care Practice", 38th ACM International Conference on Software Engineering(ICSE), Austin, USA, 2016.
[8] Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu，Ming Gu, Jiaguang Sun. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Transaction on Parallel and Distributed Systems(TPDS), 26(8):2220-2232, 2015.
[9] Yu Jiang, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems using Formal Techniques. IEEE Transactions on Industrial Electronics (TIE)62 (2), 1270-1278 , 2015.
[10] Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun. Bayesian Network Based Reliability Analysis of PLC Systems. IEEE Transactions on Industrial Electronics(TIE), 60(11), p5325-5336, 2014.