![NIANYU LI](https://2024.acsos.org/getProfileImage/nianyuli/52fb4b8c-749d-4354-91e4-6fafa33f8634/small.jpg?1711460561000)
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