肖黎麗
女👊🏼，計算機軟件與理論系，講師👨🏼💻，碩士生導師
個人簡介
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