北京邮电大学教师个人主页系统 Wang Yawen--Home--

Research Projects

Current location: Home >> Scientific Research >> Research Projects

源代码漏洞分析、检测与验证技术研究

Hits:

Leading Scientist:宫云战

Status:结项

Nature of Project:纵向

Project level:国家级

Project Number:U1736110

Date of Project Approval:2018-01-03

Scheduled completion time:2020-12-31

Date of Project Completion:2021-05-27

Date of Project Initiation:2018-01-01

Pre One:联盟区块链专用软件购置

Next One:可信软件理论、方法集成与综合试验平台

Personal information

Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

Gender:Female

Alma Mater:北京邮电大学

Education Level:研究生毕业

Degree:博士学位

Status:在职

School/Department:计算机学院（国家示范性软件学院）

Discipline:Computer science and technology *

Business Address:新科研楼601-6

Contact Information:010-61198023

ZipCode :

PostalAddress :

OfficePhone :

email :

Click:

Opening Time:..

The Last Update Time:..