|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 软件工程研究所副所长
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
电子邮箱：zren@dlut.edu.cn
扫描关注
面向形式化验证的可信编译和程序分析
点击次数：
负责人姓名：任志磊
项目来源：国家自然科学基金项目
项目子类：重点项目
项目状态：在研
项目来源单位：国家自然科学基金委员会
项目性质：纵向
项目批准号：62132020
立项时间：2021-10-12
计划完成时间：2026-12-31
开始日期：2022-01-01