Nianyu Li (李念语 Sherry)
ZGC National Laboratory, Beijing, China
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.
I welcome collaborations and discussions regarding these topics. If you share similar interests, please feel free to reach out via email.
Email: li_nianyu AT pku DOT edu DOT cn
Selected Recent Publications
Last Modified: 2023/05/26