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

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

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

[1] 国家自然科学基金青年基金项目"通用规划中多层抽象的基础理论和自动生成方法研究"，2025-2027，主持。

[2] 海南省自然科学基金青年基金项目"面向通用规划的多层抽象理论和自动生成方法研究"，2025-2027，主持。

[3] 湖南省教育厅优秀青年基金项目"面向通用规划的合理抽象的自动生成方法研究"，2023- 2025，主持。

[4] 湖南省研究生科研创新项目"自动机的分支同步性研究"，2015-2017，主持。

[5] 国家自然科学基金联合重点项目"高速动车组列车网络去中心化数据安全机理及隐私计算方法研究"，2025-2028，参与。

[6] 国家自然科学基金项目"通用规划的理论基础及有效求解方法研究"，2020-2023，参与。

[7] 国家自然科学基金项目"自动机的分支同步字研究"，2016-2019，参与。

[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.

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