必威官网

张海涛

  • 政治面貌

    中共党员

  • 职称

    讲师、硕士生导师

  • 职务

  • 所在系所

    计算机应用技术研究所

  • 邮箱

    htzhang@loud-time.com

  • 办公地址

    飞云楼313

学习经历

  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项(项目号61602224)

目前在研项目:

必威官网“互联网+”智能医疗健康系统研究及研发

发表论文及专著

发表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国际会议评委成员。

其他信息