Registered user since Wed 14 Mar 2018


Nianyu Li received a BSc degree in software engineering from Nanjing University of Aeronautics and Astronautics. She is working towards her PhD in Computer Software and Theory under prof. Zhi Jin and prof. Wenpin Jiao at Peking University. Her research interests includes (human-involved) self-adaptive systems, cyber-physical systems, modeling and formal verification. She is a Visiting Research Student at National Institute of Informatics (NII), Japan, and Carnegie Mellon University (CMU), US.

Affiliation:Peking University, China
Research interests:Self-adaptive systems, Cyber Physical Systems, Formal Verification


ACSOS 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
SEAMS 2023 Publicity Co-Chair in Organizing Committee
SEAMS 2021 Author of Hey! Preparing Humans to do Tasks in Self-adaptive Systems within the SEAMS 2021-track
ASE 2020 Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the Research Papers-track
ACSOS 2020 Author of Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems within the Research Papers-track
SEAMS 2020 Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track