王立松
  • 招生学科专业:
    计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
  • 学位:工学博士学位
  • 职称:副教授
  • 所在单位:公共实验教学部
教师英文名称:wang Lisong
电子邮箱:wangls@nuaa.edu.cn
所在单位:公共实验教学部
学历:南京航空航天大学
毕业院校:南京航空航天大学

工作经历
  • [1]. 1995.4- 至今

    南京航空航天大学

研究方向
  • [1].学科研究方向三:网络空间安全
    1.基于系统理论的安全性分析与验证

    2.基于形式化方法的安全性验证方法
  • [2].学科研究方向二:软件工程
    1.智能航空计算系统及其安全性

    2.面向复杂系统的智能计算与分析

    3.基于模型的系统工程

    4.系统安全性建模与分析

    5.软件产品线技术研究
  • [3].学科研究方向一:计算机科学与技术
    1.面向复杂系统的智能计算与分析

    2.航空大数据及智能航空计算技术

    3.基于模型的系统工程

    4.系统安全性建模与分析

    5.系统软件
团队成员
团队名称: 智能航空计算系统研究团队
个人简介:

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


研究方向:


学科研究方向一:计算机科学与技术

1.面向复杂系统的智能计算与分析;

2.航空大数据及智能航空计算技术;

3.基于模型的系统工程;

4.系统安全性建模与分析;

5.系统软件。


学科研究方向二:软件工程

1.智能航空计算系统及其安全性;

2.面向复杂系统的智能计算与分析;

3.基于模型的系统工程;

4.系统安全性建模与分析;

5.软件产品线技术研究。


学科研究方向三:网络空间安全

1.基于系统理论的安全性分析与验证;

2.基于形式化方法的安全性验证方法。


发表学术论文,出版专著情况:

发表学术论文30余篇,出版教材4部。


科研成果获奖及专利:

1. 2006.12获国防科技进步奖二等奖, 国防科工委;

2. 2007.12获校教学成果奖一等奖,南京航空航天大学;

3. 2008.05获江苏省科技进步奖三等奖,江苏省科技厅;

4. 2009.12获国防科技进步奖二等奖, 工信部;

5. 2013.12获国防科技进步奖二等奖 , 工信部;

6. 2013.09获江苏省教学成果奖一等奖, 江苏省教育厅;

 7. 获授权发明专利4项。


承担的科研项目情况:

1.主持国家重大基础研究项目(973)课题面向大型飞机的综合化航电系统安全性基础问题研究”;

2.主持工信部十三五民机专项课题高可靠航电软件形式化建模验证技术研究”;

3.主持工信部十三五民机专项课题,支持DO-297认证的综合模块化航电系统验证的资源配置与评估技术研究”;

4.主持航空基金项目基于进程代数规范的航空器安全关键软件形式化测试技术研究”;

5.主持航空基金项目高可靠分布式实时通信中间件技术研究”;

6.主持典型大飞机项目“C919综合化航电系统的ICD设计和管理工具的研发”;

7.主持典型大飞机项目面向宽体客机演示论证的显示软件研发”;

8.主持典型大飞机项目“C919EIS构型的显示软件研发”;

9.主持航空基金项目面向多平台的分布式综合化航电系统动态重构技术研究”。


指导研究生情况:

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

 

 


扫一扫用手机查看