姓名： 潘海玉
副高级 男 桂林电子科技大学计算机与信息安全学院 邮箱:phyu76@126.com





研究领域形式化方法;模糊逻辑;;
个人简介
潘海玉，工学博士，副教授，硕士生导师，中国计算机学会理论计算机专委会委员，中国计算机学会形式化方法专委会委员，中国人工智能学会离散智能计算专委会委员，中国逻辑学会非经典逻辑与计算专委会委员，中国系统工程学会模糊数学与模糊系统专委会委员，研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在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篇。
教育背景
1. 2009.09-2012.06 华东师范大学软件学院，计算机应用技术专业，博士研究生
2. 2006.09-2009.04 浙江理工大学信息和电子学院，计算机应用技术专业，硕士研究生，
3. 1994.09-1996.07 巢湖师范专科学校物理系，电器技术专业，大学专科
工作经历
1. 2012.07-2015.02 安徽工程大学计算机与信息学院，讲师
2. 2015.03-2018.02 泰州学院计算机科学与技术学院，副教授
3. 2018.03-至今 桂林电子科技大学计算机与信息安全学院，副教授


教学信息
本科生课程：算法设计与分析、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, 2020, in press.
[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] 广西可信软件重点实验室开放基金重点项目“模糊计算树逻辑的模型检测”，2019.5-2021.4(主持）
[2] 广西自然科学基金面上项目“不确定型模糊Kripke结构的模型检测方法”，2019.01-2021.12(主持)
[3] 国家自然科学面上项目“模糊转换系统的量化等价验证及模型检测研究”，2017.1-2020.12(主持)
[4] 中国博士后科学面上项目“状态转换系统的格值等价验证方法研究”，2014.5-2016.12(主持)
[5] 广西可信软件重点实验室开放基金项目“模糊转换系统的量化验证方法的研究”，2016.9-2018.8(主持）
联系信息
E-mail: phyu76@126.com
基本要求：
1、能熟练掌握一门编程语言。
2、非数学类专业学生，要求学过《离散数学》和《算法设计与分析》两门课程且理论基础扎实。
3、无抽烟、嗜酒、沉溺于游戏等不良习惯。
4、每周能坚持在实验室学习60小时以上时间。
优先考虑：
1、愿意将来继续到国内外攻读博士学位的考生。
2、优先招收学术型硕士。
3、本科为数学专业，或英语六级，理论基础扎实。
4、参加过ACM国际大学生程序设计大赛、全国大学生程序设计大赛或全国大学生数学建模竞赛。
5、孝顺、诚信，认同中华优秀传统文化，熟读《论语》、《唐诗》和《宋词》等。








常用链接