张元睿
-
讲师
- 招生学科专业：
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
- 性别：男
- 毕业院校：华东师范大学
- 学历：博士研究生毕业
- 学位：博士学位
- 所在单位：计算机科学与技术学院/人工智能学院/软件学院
- 办公地点：南京航空航天大学将军路校区计算机学院126办公室
- 联系方式：yuanruizhang@nuaa.edu.cn
- 电子邮箱：adc6c5b63cec9e65787fb860989d17f4dd8e11e2ba4fd36a3160523456addf03ec478dd8e03ecc41f121d75c180b38a51b708fb451cba2ce0eff4c241866133e44be8148358a4a67aac76ca1bae858adb858b73d9e2b70c8141a8a397915f50768da75ef008123570049c4009fdfe1b96502bd69799e6dee4ab6996245a39e11
访问量：
基于动态逻辑的同步模型验证方法
点击次数：
所属单位：西南大学
项目来源：国家自然科学青年基金
立项时间：2022-01-01
资助额度(万元)：30.0
