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.
|SEAMS 2020||Explanation for Human-on-the-loop: a probabilistic model checking approach|
|Show activities from other conferences|
View general profile