智能航空计算系统及其安全性、智能航空大数据技术、形式化方法及其航空计算系统验证技术、系统软件
博士,CCF会员,主持智能航空计算系统实验室工作。主要从事智能航空计算系统的安全性分析方法、复杂系统智能计算与分析方法、领域智能知识工程及其应用、航空计算领域系统软件和工具链及其应用研究。主持国家级和省部级等科研项目20余项。获得省部级科技进步奖4项,省部级教学成果奖2项,发表学术论文50余篇,获授权发明专利8项。
指导研究生情况:
毕业和在读的研究生60余名,毕业去向主要为百度、腾讯、华为、中兴、趋势科技等国内著名IT企业以及国家大型企业。