王树义，男，1949年生，副教授，中共党员。毕业于吉林大学计算机系，理学硕士学位。 

研究方向人工智能，主要从事机器定理证明和程序验证的研究。为本科生讲授《程序设计语言》，《数据结构》，《离散数学》，《人工智能》，《操作系统》和《编译原理》等课程，为研究生讲授《可计算性与计算复杂性》。