About Me
Nianyu Li (李念语)
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
Recent News
-
Our paper "Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding" has been accepted by AAAI !
Mingyue Zhang, Nianyu Li (corresponding author), Yi Chen, Jialong Li, Xiao-Yi Zhang, Hengjun Zhao, Jiamou Liu, Wu Chen.
-
Our paper "Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap" has been invited and accepted by TAAS !
Jialong Li, Mingyue Zhang, Nianyu Li (corresponding author), Danny Weyns, Zhi Jin, Kenji Tei
Selected Recent Publications
-
[AAMAS'24] Memory-Based Resilient Control Against Non-cooperation in Multi-agent Flocking.
Mingyue Zhang, Nianyu Li (corresponding author), Jialong Li, Jiachun Liao, Jiamou Liu.
[PDF] -
[JSS] Reliable Proactive Adaptation via Prediction Fusion and Extended Stochastic Model Predictive Control
Zhengyin Chen, Jialong Li, Nianyu Li (corresponding author), Wenpin Jiao
[PDF] -
[TAAS] A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
Nianyu Li, Mingyue Zhang, Jialong Li, Sridhar Adepu, Eunsuk Kang, Zhi Jin.
[PDF] -
[CHI LBW'24] Exploring Optimal eHMI Display Location for Various Vehicle Types: A VR User Study
Mingyue Zhang, Jialong Li, Nianyu Li (corresponding author), Eunsuk Kang, Kenji Tei.
[PDF] -
[CHI LBW'24] User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences
Mingyue Zhang, Jialong Li, Nianyu Li (corresponding author), Eunsuk Kang, Kenji Tei.
[PDF] -
[SEAMS'24] Exploring the Potential of Large Language Models in Self-adaptive Systems
Jialong Li, Mingyue Zhang, Nianyu Li (corresponding author), Danny Weyns, Zhi Jin, Kenji Tei
[PDF] -
[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] -
[PerCom'10] POET: Privacy on the Edge with Bidirectional Data Transformations.
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
[PDF] -
[SEAMS'20] 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] -
[软件学报'22] 一种基于分层适应逻辑的自适应系统实现框架
李念语, 陈正胤, 刘坤, 焦文品
[PDF]
Last Modified: 2024/02/26