Wang Lisong

Personal Information

More  >>

Professor   Supervisor of Doctorate Candidates  

Profile

博士,CCF会员,主持智能航空计算系统实验室工作。主要从事智能航空计算系统的安全性分析方法、复杂系统智能计算与分析方法、领域智能知识工程及其应用、航空计算领域系统软件和工具链及其应用研究。主持国家级和省部级等科研项目20项。获得省部级科技进步奖4项,省部级教学成果奖2项,发表学术论文50余篇,获授权发明专利8项。


指导研究生情况:

毕业和在读的研究生60余名,毕业去向主要为百度、腾讯、华为、中兴、趋势科技等国内著名IT企业以及国家大型企业。

 

 


Educational Experience

Work Experience

1995.4 Now
  • 南京航空航天大学

Social Affiliations

Research Focus

  • 学科研究方向一:计算机科学与技术 1.面向复杂系统的智能计算与分析 2.航空大数据及智能航空计算技术 3.基于模型的系统工程 4.系统安全性建模与分析 5.系统软件
  • 学科研究方向二:软件工程 1.智能航空计算系统及其安全性 2.面向复杂系统的智能计算与分析 3.基于模型的系统工程 4.系统安全性建模与分析
  • 学科研究方向三:网络空间安全 1.基于系统理论的安全性分析与验证 2.形式化的安全性验证方法

Research Group