About Me
Nianyu Li (李念语 Sherry)
Assistant Researcher
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
-
[SEAMS'23] Preference Adaptation: user preference is all you need!
Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei
[PDF] -
[SEAMS'21] Hey! preparing humans to do tasks in self-adaptive systems (Best Student Paper Award)
Nianyu Li, Javier Cámara, David Garlan, Bradley Schmerl, Zhi Jin
[PDF] -
[FASE'21] Engineering secure self-adaptive systems with bayesian games
Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
[PDF] -
[ASE'20] Scalable multiple-view analysis of reactive systems via bidirectional model transformations (Best Paper Award)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
[PDF] -
[SEAMS'22] Explanations for human-on-the-loop: A probabilistic model checking approach
Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan
[PDF] -
[CogSci'19] A Conceptual Model of Self-Adaptive Systems based on Attribution Theory (Jacob Foundation Award)
Nianyu Li, Zhengyin Chen, Zilong Li, Wenpin Jiao
[PDF]
Academic Services
Organizer
-
Publicity Co-chair: SEAMS'23
Reviewer
-
Conference: ECAI'23, HRI'24, SEAMS'23'24, ACSOS'23, FSE'23 (external)
Last Modified: 2023/05/26