您所在的位置:首页 > 师资队伍 > 教师详细信息返  回

姓名:姜宇
职务:助理教授
邮件:jy1989@mail.tsinghua.edu.cn
地址:清华大学东配楼11区319室
主页:https://sites.google.com/site/jiangyu198964/home

教育背景

2010年9月至2015年1月,    清华大学计算机科学与技术,      博士
2006年9月至2010年7月,    北京邮电大学软件工程,              学士

工作履历

2016年9月至今,                 清华大学软件学院,                       助理教授
2015年4月至2016年8月, 伊利诺伊大学厄巴纳香槟分校,   博士后

学术兼职

PC Member,     33rd IEEE International Conference on Software Maintance and Evoluation(ICSME), 2017.
PC Member,     22nd IEEE International Confercenc on Computers and Communications(ISCC), 2017.
PC Member,     17th Springer International Conference on Algorithms and Architecture for Parallel Processing(ICA3PP), 2017.
PC Member,     5th IEEE International Workshop on Cloud Computing Systems, Networkings, and Applications(CCSNA), 2016. etc.

研究领域

嵌入式系统,物理信息融合系统,程序分析

奖励与荣誉

2015年,中国计算机协会优秀博士学位论文
2015年,清华大学优秀博士学位论文

学术成果

[1]   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.

[2]  Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, and Lui Sha. Data-centered Runtime Verification of Wireless Medical Cyber-physical System. IEEE Transactions on Industrial Informatics(TII), 2016.

[3]  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.

[4]  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.

[5]  Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun. System Reliability Calculation Based on the Run-time Analysis of Ladder Program. IEEE Transactions on Industrial Electronics(TIE), 2014.

[6]  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.

[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, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jiaguang Sun. Tsmart-GalsBlock: A Toolkit for Modeling,Validation, and Synthesis of Multi-clocked Embedded Systems. Proceeding of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE), Hongkong, China, p711-714, 2014

[9]  Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha. From Stateow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design′′. Proceeding of the 22nd IEEE Real Time Technology and Applications Symposium(RTAS), Vienna, Austria, 2016.

[10]  Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE), Saint Petersburg, Russian, p695- 698, 2014.