师资
 
姓名:崔展齐
职称:讲师
性别:
个人主页:https://zqcui.github.io
EMAIL: czq@bistu.edu.cn
电话:
个人简历:  

分别在南京大学软件学院、计算机科学与技术系获学士、博士学位。其中,2009年9月-2010年10月在University of Virginia计算机学院访问研究。
2012年-2013年,电子科技大学,通信学院,讲师
2013年-2016年,中央网络安全和信息化领导小组办公室,网络数据与技术局
2016年至今,北京信息科技大学,计算机学院,讲师

研究领域与方向:  

软件分析与测试、信息安全。

研究成果:  

1、主持项目:
(1)国家自然科学基金青年项目,61702041,基于隐式编程规则挖掘的安全缺陷检测及自动修复技术研究,2018/01-2020/12,在研。
(2)软件新技术国家重点实验室(南京大学)开放课题,KFKT2016B12,静态缺陷分析辅助的安全测试技术研究,2016/06-2018/05,在研。
(3)南京大学研究生科研创新基金,2008CL07,深空探测器轨道测算系统误差建模、测试及优化技术研究,2008/11-2010/10,已结题。
(4)奇虎360公司,网络安全知识读本,2017/01-2017/04,在研。
2、参与项目
(1)自然科学基金面上项目,2012/01-2015/12,交织场景驱动的信息物理融合系统行为建模与测试技术研究,已结题。
(2)863计划,CPS系统设计与实现技术,2011/01-2013/12,已结题。
(3)自然科学基金重大研究计划,2011/01-2011/12,基于模型的嵌入式软件测试与验证技术及针对国产列车控制系统的实例研究,已结题。
(4)863计划,软件可信性分析和评估生产线,2007/8-2010/12,已结题。
3、期刊论文
[1] CUI Zhanqi, CHEN Xiang, MU Yongmin, PAN Minxue, WANG Rongcun. PSP-Finder: A Defect Detection Method Based on Mining Correlations from Function Call Paths. Chinese Journal of Electronics(《电子学报》英文版), 已录用.
[2] 黄浩华, 崔展齐, 潘敏学, 王林章, 李宣东. 静动态结合的恶意Android应用自动检测技术. 《信息安全学报》, 已录用.
[3] 崔展齐, 牟永敏, 张志华, 王伟光. 基于函数调用序列模式挖掘的程序缺陷检测. 全国软件分析测试与演化学术会议(SATE2016)录用,推荐至《计算机科学》发表.
[4] Cui, Zhanqi ,Wang, Linzhang,Liu, Xi,Bu, Lei,Zhao, Jianhua,Li. Xuandong. Verifying aspect-oriented models against crosscutting properties,International Journal of Software Engineering and Knowledge Engineering,2013,23(5):655-676.
[5] 崔展齐,王林章,刘慧根,李宣东. 面向方面的计算误差处理技术:实例研究与评估,《软件学报》,2011,22(11):2639-2651.
[6] 崔展齐,王林章,李宣东. 一种目标制导的混合执行测试方法. 《计算机学报》2011,34(06):953-964.
4、会议论文
[1] Xiang Chen, Yuxiang Shen, Zhanqi Cui, Xiaolin Ju. Applying Feature Selection to Software Defect Prediction using Multi-objective Optimization. The 9th IEEE International COMPSAC Workshop on Software Test Automation. Turin, Italy, July 4, 2017.
[2] Zhanqi Cui,Linzhang Wang,Xi Liu,Lei Bu,Jianhua Zhao,Xuandong Li. Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer,The Twenty-Fourth International Conference on Software Engineering and Knowledge Engineering,Redwood City, San Francisco Bay, USA,2012.7.1-3.
[3] Cui, Zhanqi,Wang, Linzhang,Li, Xuandong,Xu, Dianxiang. Modeling and integrating aspects with UML activity diagrams,24th Annual ACM Symposium on Applied Computing, SAC 2009,Honolulu, Hawaii, USA,2009.3.8-12.
[4] Yang Lu, Cui Zhanqi, Li Xuandong. A case study for fault tolerance oriented programming in multi-core architecture,11th IEEE International Conference on High Performance Computing and Communications, HPCC 2009,Seoul, Korea,2009.6.25-2009.6.27. [5] Zhou Zhou, Wang Linzhang,Cui Zhanqi, Chen Xin, Zhao Jianhua. Jasmine: A tool for model-driven runtime verification with UML behavioral models,11th IEEE High Assurance Systems Engineering Symposium, HASE 2008,Nanjing, China,2008.12.3-2008.12.5


北京信息科技大学 计算机学院 版权所有 ©2013-2017