uedbet,ued西甲赫塔菲官网

张海涛


【来源:ued西甲赫塔菲官网 | 发布日期:2020-03-26 】     【选择字号:

政治面貌:中共党员

    称:讲师、硕士生导师

    务:

所在系所:计算机应用技术研究所

    箱:htzhang@lzu.edu.cn

办公地址:飞云楼313

 

学习经历(从本科填起)

2006.09-2010.06  天津城建大学计算机科学与技术系 计算机专业 工学学士

2010.09-2011.09  天津大学软件学院 软件工程专业 工学硕士

2011.09-2012.09  日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学硕士

2012.09-2015.09  日本北陆先端科学技术大学院大学信息科学学院 软件工程专业 工学博士

 

工作经历

2015.11至今    uedbet  讲师

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 applicationsScience China Information Sciencesv61n5p1–15CCF B类期刊

[2] Verifying OSEK/VDX automotive applications: A Spin-based model checking approachSoftware Testing Verification and Reliabilityv 28, n 3, pe1662CCF B类期刊

[3] Verifying Cooperative Software: a SMT-based Bounded Model Checking Approach for Deterministic SchedulerJournal of Systems Architecturev81p7-16CCF B类期刊

[4] An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing PropertyInternational Conference on Software Engineeringp230-231CCF A类国际会议

[5] Model Checking is Possible to Verify Large-scale Vehicle Distributed Application SystemsDesign, Automation & Test in Europe Conference & Exhibitionp594-597CCF B类国际会议

 

对外合作

荣誉获奖

社会工作

1.   2018 4-201811月,担任全国形式化方法与应用会议(FMAC),宣传主席;

2.   2017 5-2017 7月,担任17th International Conference on Algorithms and Architectures for Parallel Processing程序委员会成员;

3.   201610-20179月,担任期刊Science China–Information Science评委成员;

4.   2016 9-201610月,担任第四届CCF Bigdata国际会议评委成员。

其他信息

copyright © 2015 uedbet All rights reserved