Registered user since Wed 14 Mar 2018
My primary research area is human-involved self-adaptive systems, where I focus on applying rigorous modeling and analysis techniques, frameworks, and control paradigms. My goal is to design software systems that remain safe, secure, and reliable despite changing environments. I have a particular interest in areas such as human-in-the-loop systems, software design, requirements modeling, specification and verification, system safety, security, and cyber-physical systems.
I earned my Ph.D. in Computer Software and Theory from Peking University in 2021, under the guidance of Prof. Zhi Jin and Prof. Wenpin Jiao. Additionally, I had the opportunity to serve as a Visiting Research Intern at the National Institute of Informatics (NII) and Carnegie Mellon University (CMU), mentored by Prof. Zhenjiang Hu and Prof. David Garlan, respectively.
Contributions
2024
International Conference on Software Engineering for Adaptive and Self-Managing Systems
View general profile