研究领域
论文成果
专利
著作成果
科研项目
教学资源
授课信息
教学成果
上一条: Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks
下一条: 面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索
博士,CCF会员,主持智能航空计算系统实验室工作。主要从事智能航空计算系统的安全性分析方法、复杂系统智能计算与分析方法、领域智能知识工程及其应用、航空计算领域系统软件和工具链及其应用研究。主持国家级和省部级等科研项目20余项。获得省部级科技进步奖4项,省部级教学成果奖2项,发表学术论文50余篇,获授权发明专利8项。
指导研究生情况:
毕业和在读的研究生60余名,毕业去向主要为百度、腾讯、华为、中兴、趋势科技等国内著名IT企业以及国家大型企业。