潘海玉，工学博士，桂林电子科技大学副教授，硕士生导师，江苏省高校“青蓝工程”中青年学术带头人培养对象，中国计算机学会理论计算机专委会委员，中国计算机学会形式化方法专委会委员，中国人工智能学会离散智能计算专委会委员，中国逻辑学会非经典逻辑与计算专委会委员，中国系统工程学会模糊数学与模糊系统专委会委员。研究方向: 形式化方法、模糊逻辑。

教育经历：

1.1994.09-1996.07 巢湖师范专科学校物理系，电器技术专业，大学专科

2.2006.09-2009.04 浙江理工大学信息和电子学院，计算机应用技术专业，硕士研究生

3.2009.09-2012.06 华东师范大学软件学院，计算机应用技术专业，博士研究生

4. 2013.01-至今 陕西师范大学计算机学院，在站博士后

工作经历：

1. 2012.07-2015.02 安徽工程大学计算机与信息学院， 讲师

2. 2015.03-2018.02 泰州学院计算机科学与技术学院， 副教授

3. 2018.03-至今 桂林电子科技大学计算机与信息安全学院，副教授