王立松研究生导师介绍
姓名王立松 性 别:  行政职务 : 副主任
专业技术职务副教授 办公电话 导师类别硕士生导师
最后学历博士毕业 最后学位博士 最后毕业学校南京航空航天大学
电子邮件wangls@nuaa.edu.cn  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称计算机科学与技术 (招收硕士研究生)                                                                  学科代码11081200
1.系统软件
2.数据管理技术
3.面向复杂系统的智能计算与分析
4.基于模型的系统工程
5.系统安全性建模与分析

学科研究方向二:
专业名称软件工程 (招收硕士研究生) 学科代码083500
1.航空计算系统及其安全性
2.面向复杂系统的智能计算与分析
3.基于模型的系统工程
4.系统安全性建模与分析
5.软件产品线技术研究
学科研究方向三:
专业名称网络空间安全 (招收硕士研究生) 学科代码083900
1.基于系统理论的安全性分析与验证
2.访问控制技术研究
个人简历(学历、学术经历及社会兼职):

博士,CCF会员。2012年赴美国弗吉尼亚大学短期进修。担任航空电子综合技术国防重点实验室客座专家;担任江苏省高校计算机基础教学工作委员会副理事长,担任教育部计算机MOOC联盟第一工作组副组长和跨校教学团队副主任。



发表学术论文,出版专著情况:
发表学术论文30余篇,出版教材4部

科研成果获奖及专利:
1. 2006.12获国防科技进步奖二等奖, 国防科工委
2. 2007.12获校教学成果奖一等奖,南京航空航天大学
3. 2008.05获江苏省科技进步奖三等奖,江苏省科技厅
4. 2009.12获国防科技进步奖二等奖, 工信部
5. 2013.12获国防科技进步奖二等奖 , 工信部
6. 2013.09获江苏省教学成果奖一等奖, 江苏省教育厅

承担的科研项目情况:
1.主持国家重大基础研究项目(973)子课题1项“面向大型飞机的综合化航电系统安全性基础问题研究”
2.主持工信部十三五民机专项子课题1项,“支持DO-297认证的综合模块化航电系统验证的资源配置与评估技术研究”
3.主持航空基金项目“基于进程代数规范的航空器安全关键软件形式化测试技术研究”
4.主持航空基金项目“高可靠分布式实时通信中间件技术研究”
5.主持典型大飞机项目“C919综合化航电系统的ICD设计和管理工具的研发”
6.主持典型大飞机项目“面向宽体客机演示论证的显示软件研发”
指导研究生情况:

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