NIANYU LIView profile
Researcher
NIANYU LI is an active researcher at ZGC Lab, China specializing in human-involved self-adaptive systems. Their work integrates rigorous modeling techniques to ensure software safety, security, and reliability in dynamic environments, with significant contributions to cyber-physical systems and formal verification methodologies. They earned a Ph.D. in Computer Software and Theory from Peking University in 2021 under Prof. Zhi Jin and Prof. Wenpin Jiao, with additional research experience at the National Institute of Informatics (NII) and Carnegie Mellon University (CMU) under Prof. Zhenjiang Hu and Prof. David Garlan respectively. Research focuses on human-in-the-loop adaptation mechanisms, with expertise spanning requirements modeling, system verification, and safety-critical cyber-physical implementations. Their methodology combines formal control paradigms with practical human factors considerations to address environmental uncertainty in adaptive systems. Publication trends reveal consistent contributions to ASE, ICSE, and specialized conferences like SASMS, with recent work exploring LLM applications in adaptation, federated learning robustness, and SBOM generation. Key themes include verification-driven design, human-system coordination, and empirical validation of adaptive mechanisms in real-world scenarios. As an active community contributor, they serve on program committees for ASE, ACSOS, and ICSE events while maintaining leadership roles in artifact evaluation. Their work bridges theoretical formal methods with practical implementation challenges in adaptive systems. NIANYU LI maintains research continuity through collaborations with Peking University and international institutions, directing focus toward explainable adaptation mechanisms and safety assurance in increasingly complex human-software ecosystems.
