SEAMS 2020
Sat 23 - Sat 30 May 2020 Location to be announced
co-located with ICSE 2020
NIANYU LI

Registered user since Wed 14 Mar 2018

Name: NIANYU LI

Bio: 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.

Country: China

Affiliation: Peking University, China

Research interests: Self-adaptive systems, Cyber Physical Systems, Formal Verification

Contributions

SEAMS 2020Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
Show activities from other conferences

Using general profile