潘海玉，工学博士，研究员，硕士生导师，中国计算机学会理论计算机专委会委员，中国计算机学会形式化方法专委会委员，中国人工智能学会离散智能计算专委会委员，中国逻辑学会非经典逻辑与计算专委会委员，中国系统工程学会模糊数学与模糊系统专委会委员，研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems，Fuzzy Sets and Systems，International Journal of Approximate Reasoning，Theoretical Computer Science，Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇，其中中国计算机学会推荐国际学术刊物上发表文章9篇，SCI收录9篇，EI收录15篇。

3. 2018.03-2021.12    星空网页版登录入口计算机与信息安全学院，副教授

4. 2022.01-至今         星空网页版登录入口计算机与信息安全学院，研究员

[3] Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li. Reachability in fuzzy game graphs. IEEE Transactions on Fuzzy Systems, 2017, 25, 972-984 (SCI 1区，CCF B类)

[4] Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li. Nondeterministic fuzzy automata with membership values in complete residuated lattices. International Journal of Approximate Reasoning , 2017, 82, 22-38(SCI 2区,  CCF B类)

[5] Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking computation tree logic over finite lattices. Theoretical Computer Science, 2016, 612, 45-62 (SCI 3区，CCF B类)

[6] Haiyu Pan, Yongming Li, Yongzhi Cao. Lattice-valued simulations for quantitative transition systems. International Journal of Approximate Reasoning, 2015, 56, 28-42 (SCI 2区，CCF B类)

[7] Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking fuzzy computation tree logic. Fuzzy Sets and Systems, 2015, 262, 60-77 (SCI 1区，CCF C类)

[8] Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen. Simulation for lattice-valued doubly labeled transition systems. International Journal of Approximate Reasoning, 2014, 55，797-811 (SCI 2区，CCF B类)

[9] Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative analysis of lattice-valued Kripke structures. Fundamenta Informaticae, 2014, 135, 269-293 (SCI 4区，CCF C类)

[10] 潘海玉,裴道武,陈仪香.基于三I算法的模糊系统的响应能力.控制理论与应用,2011,28(1):24-29(EI)

[1] 国家自然科学基金地区项目“开放式模糊系统的模型检验研究”，2022.1-2025.12(主持)

[2] 广西可信软件重点实验室开放基金重点项目“模糊计算树逻辑的模型检测”，2019.5-2021.4(主持）

[3] 广西自然科学基金面上项目“不确定型模糊Kripke结构的模型检测方法”，2019.01-2021.12(主持)

[4] 国家自然科学基金面上项目“模糊转换系统的量化等价验证及模型检测研究”，2017.1-2020.12(主持)

[5] 中国博士后科学基金面上项目“状态转换系统的格值等价验证方法研究”，2014.5-2016.12(主持)

[6] 广西可信软件重点实验室开放基金项目“模糊转换系统的量化验证方法的研究”，2016.9-2018.8(主持）

E-mail: phyu76@126.com

1、非数学类专业学生，要求学过《离散数学》和《算法设计与分析》两门课程且理论基础扎实，能熟练掌握一门编程语言。

2、数学类专业学生，要求成绩单上《数学分析》、《高等代数》等为良好及以上。

3、无抽烟、嗜酒、沉溺于游戏等不良习惯。

4、每周能坚持在实验室学习60小时以上时间。

1、愿意将来继续到国内外攻读博士学位的考生。

2、优先招收学术型硕士。

3、本科为数学专业，理论基础扎实，通过英语六级，

4、参加过ACM国际大学生程序设计大赛、全国大学生程序设计大赛或全国大学生数学建模竞赛。

5、孝顺、诚信，认同中华优秀传统文化，熟读《论语》、《唐诗》和《宋词》等。

温馨提示：

有报考意愿的同学务必事先了解本实验室研究方向及基本要求。