崔振河，博士，校聘副教授，硕士生导师，2022年博士毕业于中山大学计算机学院计算机科学与技术专业，同年加入湖南科技大学计算机科学与工程学院。主要研究领域为人工智能、知识表示与推理、自动规划、形式语言与自动机理论，主持国家自然科学科基金青年基金项目1项、省部级科研项目2项，研究成果发表于IJCAI、AAAI、TCS、《计算机学报》等国内外顶级学术会议和期刊。

2022/10--至今，湖南科技大学，计算机科学与工程学院，专任教师

离散数学、Spark大数据分析与应用等。

主持国家自然科学基金青年基金项目、海南省自然科学基金青年基金项目以及湖南省教育厅优秀青年基金项目各1项。参与国家自然科学基金联合重点项目1项以及国家自然科学基金项目多项。

[1] Zhenhe Cui, Yongmei Liu, Kailun Luo. A Uniform Abstraction Framework for Generelized Planning, IJCAI 2021.  

[2] Zhenhe Cui, Weidu Kuang, Yongmei Liu. Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized

      Planning, IJCAI 2023. 

[3] Yong He, Zhenhe Cui, Zihan Yuan, Conjugacy relations of prefix codes. Theoretical Computer Science, 2016, 635: 85-93. 

[4] Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan. A Syntactic Approach to Computing 

      Complete and Sound Abstraction in the Situation Calculus, AAAI 2025. 

[5] 崔振河, 王志喜, 何勇. 树形偏序自动机的同步问题. 计算机学报, 2023.

[6] 崔振河，何勇，孙士远. 同步有界偏序自动机. 计算机学报, 2019.

人工智能、知识表示与推理、自动规划、形式语言与自动机理论。