肖黎丽
女，计算机软件与理论系，讲师，硕士生导师
个人简介
2022年6月获得华东师范大学软件工程专业博士学位，同年5月被评为上海市优秀毕业生。
研究方向：
可信计算，形式化方法，形式语义，形式化建模与验证
讲授课程：
离散数学
[1] Lili Xiao, Huibiao Zhu, Qiwen Xu: Trace Semantics and Algebraic Laws for Total Store Order Memory Model. Journal of Computer Science and Technology. 36(6): 1269-1290 (2021) (SCI 二区，CCF-B)
[2] Lili Xiao, Huibiao Zhu: UTP Semantics for the MCA ARMv8 Architecture. Journal of Systems Architecture. 125: 102438 (2022) (SCI二区，CCF-B)
[3] Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh: Modeling and Verifying PSO Memory Model Using CSP. Mobile Networks and Applications. 27: 2068–2083 (2022) (SCI 三区，CCF-C)
[4] Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh: Modeling and verifying SDN under Multi-controller architectures using CSP. Concurrency and Computation: Practice and Experience, vol 33(2), 2021 (SCI 四区，CCF-C)
[5] Lili Xiao, Huibiao Zhu: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP. Proc. SETTA 2021: Symposium on Dependable Software Engineering Theories, Tools and Applications, LNCS 13071, pp. 81-101, Nov. 25-27, 2021, Beijing, China (EI)
[6] Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin: Algebraic Semantics for C++11 Memory Model. Proc. COMPSAC 2022: 46th IEEE Annual Computers, Software, and Applications Conference, pp. 1-6, Los Alamitos, CA, USA, June 27 - July 1, 2022 (EI)
[7] Lili Xiao, Shuangqing Xiang, Huibiao Zhu: Modeling and verifying SDN with multiple controllers. Proc. SAC 2018: 33rd Annual ACM Symposium on Applied Computing, pp. 419-422, Pau, France, 09-13 April, 2018 (EI)
联系方式：
邮箱：xiaolili@dhu.edu.cn
地址：上海市松江区人民北路2999号东华大学1号学院楼103
邮编：201620
Lili Xiao
Female, Department of Computer Software and Theory, Lecturer, Master Supervisor
Bio:
She received her Ph.D. degree in software engineering in East China Normal University in June 2022.
Research Areas:
Trustworthy Computing, Formal Methods, Formal Semantics, Formal Modeling and Verification
Main Courses Taught:
Discrete Mathematics
Publications:
Same as above
Address: Room 103, Building No. 1
Tel: 021-67792164
Mail: xiaolili@dhu.edu.cn