Yi Qin (秦逸) Ph.D. (NJU), CCF/IEEE member Assistant Researcher with: State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Institute of Computer Software Mailing address: Room 501, Building of Computer Science and Technology Nanjing University (Xianlin Campus) 163 Xianlin Avenue, Qixia District, Nanjing, Jiangsu, China (210023) E-mail:

News

• Congratulations on Zhengchuan Liang's Internetware'19 paper "Generating Environmental Models for Testing Self-adaptive Systems"!
• "面向环境非确定性的CPS测试技术研究" accepted by 中国科学-信息科学!
• "CoMID: Context-based Multi-invariant Detection for Monitoring Cyber-physical Software" accepted by IEEE Transactions on Reliability!

---

Bio

I obtained my Ph.D. degree in computer science and technology from Nanjing University (NJU) in 2018 (Ph.D. advisor: Prof. J. Lv and Prof. C. Xu), and B.S. degree in computer science and technology from Nanjing University in 2011.

I am an assistant researcher with Nanjing University since Janaury 2019.

I received the following awards or honors (reversely chronological order):

• I received the "Safety and Security of System Software Best Paper Award" (最佳论文奖) from NASAC 2018.

---

Research Interests

My research mainly concern about building high-quality self-adaptive systems (robots, self-driving cars, Unmanned Aerial Vehicle, etc.). You may hear about the tragic accidents of Lion Air Flight 610 and Ethiopian Airlines Flight 302. Software defect in the autopilot system of Boeing 737 MAX is the major root cause of these two accidents. Our work is to expose such software defects (techniques and tools for testing self-adaptive systems) and to help developers avoid such defects (methodology for developing self-adaptive systems). You are welcome to talk to me if you have common interests.

• Associated research groups: SPAR

---

Publications

秦逸，许畅，陈紫琦，吕建，面向环境非确定性的CPS测试技术研究, 中国科学-信息科学，Accepted, 2019.[中国科学19]

Yi Qin, Tao Xie, Chang Xu, Angello Astorga and Jian Lu. CoMID: Context-based Multi-invariant Detection for Monitoring Cyber-physical Software, in IEEE Transactions on Reliability, Accepted, 2019. [TR19]

Yi Qin, Xianping Tao, Yu Huang and Jian Lu. An index structure supporting rule activation in pervasive applications, in World Wide Web Journal, 22(1): 1-37, 2019.[WWWJ19]

Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma and Jian Lu. SynEva: Evaluating ML programs by mirror program synthesis, in Proceedings of IEEE 18th International Conference on Software Quality, Reliability, and Security (QRS 2018), pages 171-182, 2018, Lisbon, Protugal.[QRS18]

Yi Qin, Chang Xu, Ping Yu and Jian Lu. SIT: Sampling-based interactive testing for self-adaptive apps, in Journal of Systems and Software, 120: 70-88, 2016. [JSS16]

Yi Qin, Xianping Tao and Jian Lu. Supporting groupware communication with topology-enhanced content-based network, in Proceedings of 16th Asia-Pacific Network Operations and Management Symposium (APNOMS 2014), pages 1-6, 2014, Hsinchu, Taiwan, China.[APNOMS14]

---

Students

I'm looking for self-motivated students with commitment on software engineering and self-adaptive systems research.

My students:

• Present :
• Jinchi Chen (B.S; with Prof. Xu; Self-adaptive system building, working on Dji RobotMaster)
• Zhengchuan Liang (B.E; Self-adaptive system testing, working on Unmanned Aerial Vehicle)

---

Teaching Duties

• 2019 (Fall) Lecturer: 离散数学(for NJU continouing education school)
• 2020 (Spring) Lecturer: 数理逻辑

---

Hobbies

I love watching anime (US: /ˈænəˌmeɪ/, UK: /ˈænɪˌmeɪ/, the Japanese term for animation, which means all forms of animated media), playing video games and reading all-kinds of books.

Anime talks about lots of things. It also echos the science of computer software. In a famous anime Neon Genesis Evangelion, a super-computer system called "Magi" helps human beings defend against alien attacks. Magi is designed to have three individual super-computers for fault-tolerance purpose. When one computer is controlled by its enemy, it seems that the remained two computers can still enable the whole system to make right decisions (most people might think this is apparently correct, including myself when I first watched this anime). Unfortunately, a computer scientist Leslie Lamport told us in his famous Byzantine Generals Problem that, for a distributed system consists of n nodes, if the number of failure nodes is t and n = 3t, then we cannot guarantee that the system makes right decisions. In other words, if Lamport controlled one of Magi's supercomputers, then story of Neon Genesis Evangelion would end in its every first episode (/= _ =)/~┴┴ !

Anime could also inspire our research in self-adaptive systems. Can we avoid our robots falling down like this ？And can we make smart robots move like this, Unmanned Aerial(or "Space" ) Vehicles fly like this, or deadly missiles fire like this?

---

[Back to Top]

The homepage was last updated on Nov 11, 2019.