张海涛
政治面貌中共党员
职称副教授、硕士生导师
职务
所在系所计算机应用技术研究所
邮箱htzhang@lzu.edu.cn
办公地址飞云楼221

学习经历
　　2006.09-2010.06 天津城建大学计算机科学与技术系 计算机专业 工学学士
　　2010.09-2011.09 天津大学软件学院 软件工程专业 工学硕士
　　2011.09-2012.09 日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学硕士
　　2012.09-2015.09 日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学博士

工作经历
　　2015.11至今 兰州大学信息科学与工程学院 讲师
　　2018.09-至今 兰州大学后勤保障部 副部长（挂职）

教学情况
　　主讲本科生课程：算法设计与分析、大学信息技术基础、计算与安全技术导论

指导研究生情况
　　2018年开始指导研究生，实验室共有研究生4名，学生研究成果良好，获得的成绩主要有：CCF B 类会议论文1篇，软件著作权3个，横向项目1项。

研究方向
　　软件工程、软件形式化方法、车载系统及智能系统

招生专业
　　计算机、软件、计算机网络等

项目成果
主持参与完成的项目：
国家自然科学青年科学基金项目1项(项目号**)
目前在研项目：
“互联网+”智能医疗健康系统研究及研发


发表论文及专著
发表SCI/EI论文13余篇，近5年主要的SCI/EI论文如下：
[1]autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications，Science China Information Sciences，v61，n5，p1–15，CCF B类期刊
[2]Verifying OSEK/VDX automotive applications: A Spin-based model checking approach，Software Testing Verification and Reliability，v 28, n 3, pe1662，CCF B类期刊
[3]Verifying Cooperative Software: a SMT-based Bounded Model Checking Approach for Deterministic Scheduler，Journal of Systems Architecture，v81，p7-16，CCF B类期刊
[4]An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property，International Conference on Software Engineering，p230-231，CCF A类国际会议
[5]Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems，Design, Automation & Test in Europe Conference & Exhibition，p594-597，CCF B类国际会议


对外合作


荣誉获奖


社会工作
1.2018年4月-2018年11月，担任全国形式化方法与应用会议(FMAC),宣传主席;
2.2017年5月-2017年7月，担任17th International Conference on Algorithms and Architectures for Parallel Processing程序委员会成员;
3.2016年10月-2017年9月，担任期刊Science China–Information Science评委成员;
4.2016年9月-2016年10月，担任第四届CCF Bigdata国际会议评委成员。


其他信息