Short biographyIn July 2007, I joined the State Key Laboratory for Novel Software Technology, Nanjing University. I am a faculty member of the Institute of Computer Software and the Dept. of Computer Science and Technology, Nanjing University. I got my Ph.D. in computer science from the University of Science and Technology of China (USTC) in Jun. 2007. My supervisor is Prof. Yulin Feng. I got my bachelor's degree in computer science from USTC in Jun. 2002. Before entering USTC, I studied in the Suzhou Middle School, Suzhou China, from Sep.1995 to Jun.1997. I studied in the Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences (TCSE, ISCAS), as a co-educated Ph.D. student of both USTC and TCSE ISCAS from Sep. 2003 to Jul. 2007. From Sep. 2005 to Sep. 2006, I studied in the Department of Computing, Hong Kong Polytechnic University, as a visiting student. Full C.V. (pdf) Research interests•Distributed algorithms and systems•Formal specification and verification•Mobile and pervasive computingTo potential students I am recruiting well motivated and dedicated Ph.D. / master students to do research in above-mentioned areas. Undergraduate students are also encouraged to contact me, to work on related topics. Selected publications1.Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments Technical report, Institute of Computer Software, Nanjing University, Oct. 2013. 2.Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu Design of a Sliding Window over Distributed and Asynchronous Event Streams IEEE Transactions on Parallel and Distributed Systems, 25(10):2551-2560, Oct. 2014. 3.Jian Lu, Yu Huang, Chang Xu, Xiaoxing Ma Managing Environment and Adaptation Risks for the Internetware Paradigm In Theories of Programming and Formal Methods, LNCS 8051, Sep. 2013. 4.Yuan Lu Design and Implementation of the Coordination Kernel KVSmith (in Chinese) Master thesis, Department of Computer Science and Technology, Nanjing University, June 2013. 5.Yu Huang, Xiaoxing Ma, Yiling Yang Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications In proc. of International Conference on Parallel and Distributed Systems (ICPADS), Dec. 2012. 6.Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments IEEE Transactions on Parallel and Distributed Systems, 24(8):1546-1555, Aug. 2013. 7.Tingting Hua Research on Context-aware Computing in Asynchronous Pervasive Computing Environments (in Chinese) Master thesis, Department of Computer Science and Technology, Nanjing University, June 2012. 8.Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context In proc. of the International Conference on Pervasive Computing and Communications (PerCom), Mar. 2012 (full paper acceptance ratio: 16 out of 150, 11%). 9.Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, Jian Lu Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments IEEE Transactions on Parallel and Distributed Systems, 23(4): 744-750, Apr. 2012. 10.Yu Huang, Jiannong Cao, Beihong Jin, Xianping Tao, Jian Lu, Yulin Feng Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks IEEE Transactions on Parallel and Distributed Systems, 21(8):1150-1161, Aug. 2010. •More My Google Scholar Profile My DBLP Invited talks1.Understanding the Behavior of a Networked Software System - A Predicate Detection-based Approach The 4th Asian Workshop on Advanced Software Engineering, Peking University, Oct 11-12, 2014. 2.Understanding the Behavior of an Asynchronous System - A Predicate Detection-based Approach School of Computer Science and Technology, University of Science and Technology of China, Jan. 8, 2014. 3.Understanding the Behavior of an Asynchronous System - A Predicate Detection-based Approach Young Research Scholar Forum, National Software Application Conference (NASAC), Nov. 9-10, 2013. 4.Achieving Context-awareness in Asynchronous Pervasive Computing Environments - a Predicate Detection-based Approach Ph.D. Forum, School of Information Science and Technology, Sun Yat-Sen University, July 11, 2012. 5.Understanding the Pervasive Computing Environment - a Predicate Detection Perspective Young Scholar Forum of State Key Labotratory for Novel Software Technology, Nanjing University, June 11, 2010. •More Group members•Current members ◦Geng Xiao (Master student, Sep. 2014 ~ present) ◦Xue Jiang (Master student, Sep. 2013 ~ present) ◦Hao Zhang (Master student, Sep. 2012 ~ present) ◦Shaowen Zhang (Master student, Sep. 2012 ~ present) ◦Hengfeng Wei (PhD student, co-supervision with Prof. Jian Lu, Sep. 2010 ~ present) ◦Yiling Yang (PhD student, co-supervision with Prof. Jian Lu, Sep. 2009 ~ present) •Alumni◦Chao Fang (Master student, Sep. 2010 ~ 2014) ◦Yuan Lu (Master student, Sep. 2010 ~ Jul. 2013) ◦Tingting Hua (Master student, Sep. 2009 ~ Jul. 2012) Research projects•Funded projects•Source codes and data setsAwards and Recognition•"Climb the Summit" Program, Level B, Nanjing University, 2014. •Yiling Yang, "Distinguished New Research Scholar" award for PhD students, Ministry of Education of China, 2012. •First Class Award for Techniques and Inventions, Ministry of Education of China, as the 9th team member of the project "Key Techniques, Platforms and Applications of Internetware", 2011. Professional activities•Editorial Board Member ◦Frontiers of Computer Science (Young area editor project)•Member of program committees ◦PerCom'15, PerCom'14, Mass'2014, ICPADS'12 •Reviewer for ◦IEEE Transactions on Parallel and Distributed Systems◦IEEE Transactions on Vehicular Technology, IEEE Transactions on Communications, IEEE Transactions on Wireless Communications ◦Mobile Networks and Applications◦Journal of Computer Science and Technology