|
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
- 时空逻辑知识驱动的智能决策关键技术研究, 在研
- 时空知识制导的高效智能规划方法研究, 中国博士后科学基金, 2019/07/01-2021/06/30, 在研
- 基于时空推理的指针程序验证方法研究, 中国博士后科学基金, 2018/11/20-2020/12/31, 在研
- 陕西省创新能力支撑计划——安全攸关智能软件创新团队, 陕西省创新人才推进计划-科技创新团队, 2018/11/01-2021/12/31, 在研
- 改进的时空逻辑PPTL^SL及其时空推理方法研究, 国家自然科学基金, 2018/08/16-2021/12/31, 在研
- 基于智能规划的程序合成方法研究, 一般纵向, 2018/03/09-2020/12/31, 在研
- 基于领域知识约束的复杂任务规划与推理研究, 国家自然科学基金, 2018/01/01-2020/12/31, 在研
- 多类型时序逻辑程序设计, 国家自然科学基金, 2014/08/16-2017/12/31, 结题
- 基于共享变量的多核并发程序模型检测, 国家自然科学基金, 2011/08/19-2016/12/31, 结题
| |