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]

Academic Services

Organizer

Reviewer


Last Modified: 2024/02/26

Resume

Education

2016 - 2021

Ph.D., Computer Software and Theory

Peking University

2019 - 2020

Visiting Research Intern founded by Chinese Government Scholarships

Carnegie Mellon University

2017 - 2018

Visiting Research Intern

National Institute of Informatics

2014 - 2015

Exchange Student, Computer Science

National Tsinghua University

2012 - 2016

Experience

2022 - Now

Assistant Researcher

ZGC National Laboratory

2021 - 2021
2016 - 2016

Internship

Huawei