中共党员
副教授、硕士生导师
计算机应用技术研究所
htzhang@lzu.edu.cn
飞云楼221
主持参与完成的项目:
国家自然科学青年科学基金项目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国际会议评委成员。
电话:0931-8912778 地址:兰州市城关区天水南路222号 邮编:730000
copyright @ 2015 兰州大学爱游戏体育app赞助意甲与工程学院 All rights reserved