软件学院

School Of Software

Introduction:

Yu Jiang, Ph.D.

Position: Assistant Professor
Address: East-Main Building, 11-319, Tsinghua University
Email: jy1989@mail.tsinghua.edu.cn
Homepage: https://sites.google.com/site/jiangyu198964/home

 

 


Education background:

B.Sc.     Beijing University of Post and Telecommunication,          Software Engineering,       2010

Ph.D.  Tsinghua University                                        Computer Science              2015

 


Experience:

Post.Doc. University of Illinois at Urbana-Champaign             Computer Science     2015-2016


Concurrent Academic:

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.

 

 


Honors And Awards:

Distinguished Dissertation Award, China Computer Federation (CCF): 2015

Outstanding Dissertation of Tsinghua, China: 2015

National Scholarship for Doctorate, China: 2013

 


Academic Achievement:

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