个人简历

主讲本科课程
离散数学；数据结构；算法设计与分析
主讲研究生课程
算法与算法复杂性
学习与工作经历
2000..9-2003.7，吉林大学计算机应用专业，硕士研究生，获工学硕士学位
2015.11.-2016.1，美国PSU研修，访问学者
1990.12-2003.9，长春工业大学，图书馆
2003.9-至今，长春工业大学，计算机科学与工程学院
2009.9被评为副教授

研究领域

人工智能与约束满足问题求解
约束约束满足问题是人工智能领域一个重要研究方向，其应用范围非常广泛。近几年我主要从事这一领域的研究，特别是对约束满足问题(CSPs)的知识表示与推理求解有了一定进展。目前打算将机器学习技术融入约束满足问题的求解中。"科研项目
1．基于求解约束满足问题相关算法研究.横向.2013-至今.6万.1/4
2．不确定数据的聚类算法研究.教育厅.2013-至今.自筹.2/7
3．靖宇县人民医院数字医疗管理系统.横向.2013-2014.20万.4/6"

近期论文

专著及教材
1．王红梅，胡明，王涛.《数据结构（C++版）》,清华大学出版社，2010
2．王红梅等.《算法设计与分析》（参编）,清华大学出版社，2010
2.
论文
1．王涛,张乾等.基于成功回溯的约束推理技术.吉林大学学报（工学版），2016(5)；EI：20163802821932EI期刊
2．王涛，王瑞芹等.基于分割的超树分解方法.吉林大学学报（理学版）,2013(2)；核心
3．李宏博，王涛等.改进求解约束满足问题粗粒度弧相容算法.软件学报,2012(7)；EI：20123415365347EI期刊
4.Wang,Tao;Du,Hui-Ying;Li,Zhan-Shan;Xing,Shi-Mei.OrderingheuristicforsolvingalgorithmbasedontheAC-4algorithm.Proceedings2011InternationalConferenceonTransportation,Mechanical,andElectricalEngineering,TMEE2011EI：20122315082917
5.李占山,王涛,孙吉贵.基于模型推理的系统修复与重用设计研究.计算机科学，2006（8）
6．王涛，李占山，孙吉贵等.产品配置的知识表示.计算机科学，2005（10）
7．李占山,王涛,孙吉贵.利用元件替换测试求诊断.软件学报，2005(9)
8．李占山，王涛，孙吉贵.产品配置器的工作机理研究.计算机应用研究，2004（10）
9．李占山，姜云飞，王涛.基于模型的诊断问题分解及其算法.计算机学报，2003（9）