Ying Liu (刘颖)'s Homepage

Contact

• Office: No. 611, Room 339, Building 5
• Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
• email: liuying@ios.cn

About me

I am currently a Master student in the group. My main research interests are:

• Robustness Verification of Neural Networks

Education

• Sept. 2020 – present: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• Sept. 2016 - Jun. 2020: Mathematics and Applied Mathematics (Bachelor’s degree) at Sichuan University

Publications

• 刘颖, 杨鹏飞, 张立军, 吴志林 (), 冯元 (): 前馈神经网络和循环神经网络的鲁棒性验证综述. In 软件学报 34(7):3134, 2023. DOI BIB
• Ying Liu, Andrea Turrini, Ernst Moritz Hahn (), Bai Xue (), Lijun Zhang: Scenario Approach for Parametric Markov Models. In Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I, volume 14215 of Lecture Notes in Computer Science, pages 158-180, 2023. DOI BIB