Yi Qin (秦逸)
Ph.D. (NJU), CCF/IEEE member
Assistant Researcher with:
- 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!
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.
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
I'm looking for self-motivated students with commitment on software engineering and self-adaptive systems research.
- 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)
- 2020 (Spring) Lecturer: 数理逻辑(for NJU department of computer science and technology)
- 2019 (Fall) Lecturer: 离散数学(for NJU continouing education school)
I love watching anime (US: /ˈænəˌmeɪ/, UK: /ˈænɪˌmeɪ/, the Japanese term for animation, which means all forms of animated media, check my MAL profile here), 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 <font color="#ff0000")Feb 11, 2020.</font>