1．个人简介
刘海艳，基础数学博士，数学系讲师，硕士研究生导师。
2. 研究方向
主要从事组合半群、形式语言、码论的研究。
3. 受教育经历
2004年9月-2008年6月，河西学院，数学与应用数学，本科。
2012年9月-2015年6月，云南大学，运筹学与控制论，硕士。
2016年9月-2020年6月，兰州大学，基础数学，博士。
4. 工作经历
2020年8月-至今，数学系，讲师。
5. 承担或者参与科研项目
（1）云南省教育厅，科学研究基金教师类项目，2022J0478，代数码在DNA计算中的应用研究，2022-03至2023-02，2万元，在研，主持。
（2），科学研究基金项目，2021D09,几类重要代数码的性质研究，2022-03至2023-12，8万元，在研，主持。
（3）国家自然科学基金，地区科学基金项目，Cocycle Hopf 代数和 Reynolds 算子的研究，11861051, 2019-01-2022-12，26万元，资助期满，参与。
（4）教育部基础学科拔尖学生培养试验计划研究课题，本科拔尖人才知识积累过程的能力培养— 培养所要求的“思想活跃，视野开阔的未来领军人才”的入手之处，20180706，2018-01-2020-12，10万元，资助期满，参与。
（5）云南省教育厅，科学研究基金教师类项目，2022J0476, 带约束非凸广义方程的静态性质，2万元，在研，参与。
6. 代表性科研成果
[1] H.Y. Liu, Y. Q. Guo and K. P. Shum, Some combinatorial properties of solid codes, Indian J. Pure Appl. Math. 52(2021) 932-944.
[2] H.Y. Liu, K. P. Shum and Y. Q. Guo, Some results on (k; m)-comma codes, Bull.Iran. Math. Sci. Soc. 46(4) (2020),1143-1162.
[3] H. Y. Liu, K. P. Shum and Jing Leng, On (k,m)-comma codes, Southeast Asian Bulletin of Mathematics 45 (2021), 833-848.
[4] C. H. Cao, H.Y. Liu and D. Yang, Characterizations of k-comma codes and k-comma intercodes, Acta Inform. 53(1) (2016), 23-33.
[5] Jing Leng,K. P. Shum and H.Y. Liu*, On i-disjunctive languages and solid codes, Southeast Asian Bulletin of Mathematics 45 (2021), 725-738.
7. 人才培养
为本科生开设《高等代数》、《高等数学》等课程，为研究生开设《抽象代数》等课程，并担任硕士生导师，指导在读硕士生1名。
