潘海玉,工学博士,研究员,硕士生导师,中国计算机学会理论计算机专委会委员,中国计算机学会形式化方法专委会委员,中国人工智能学会离散智能计算专委会委员,中国逻辑学会非经典逻辑与计算专委会委员,中国系统工程学会模糊数学与模糊系统专委会委员,研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在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-至今 桂林电子科技大学计算机与信息安全学院,研究员
本科生课程:算法设计与分析、ACM算法设计与竞赛等课程;
研究生课程:高级算法、计算机科学中的逻辑学等。
[1] Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yumin Lin. Fuzzy Alternating Refinement Relations Under the Gödel Semantics. IEEE Transactions on Fuzzy Systems, 2021,29(5), 953-964 (SCI 1区, EI, CCF B类)
[2] Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian. Fuzzy pushdown termination games. IEEE Transactions on Fuzzy Systems, 2019,4: 760-774 (SCI 1区, EI, CCF B类)
[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、孝顺、诚信,认同中华优秀传统文化,熟读《论语》、《唐诗》和《宋词》等。
温馨提示:
有报考意愿的同学务必事先了解本实验室研究方向及基本要求。