王海涛基本介绍
王海涛，女，汉族，1975年7月生，黑龙江伊春市人，副教授。2001年7月参加工作，东北林业大学农业信息化专业研究生。财经信息工程学院计算机科学与技术教研室教师。
一、论文发表情况
1.《基于综合性能的 Markov 过程验证与分析》，计算机工程，2013年，第二作者;
2.《基于自动机的概率计算树逻辑验证方法》，计算机工程，2013年，第二作者;
3.《基于决策图的复杂系统模型对称约减方法》，计算机工程与设计，2013年，第二作者;
4.《综合特征Markov模型稳态性质验证方法》，计算机工程与设计，2013年，第三作者。
二、个人获奖情况
1.2023年，工业和信息化部人才交流中心，第十届“大唐杯”全国双师型教师新一代信息通信技术大赛本科组三等奖 ；
2.2023年，黑龙江省软件学会，第一届软联杯程序设计大赛教师Java程序设计本科组三等奖。
