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

Academic Services



Last Modified: 2023/05/26



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


2022 - Now

Assistant Researcher

ZGC National Laboratory

2021 - 2021
2016 - 2016