王立松
    博士生导师
  • 招生学科专业:
    计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
    网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
  • 学位:工学博士学位
  • 职称:教授
  • 所在单位:计算机科学与技术/人工智能学院,公共实验教学部
博士生导师
电子邮箱:
所在单位:计算机科学与技术/人工智能学院,公共实验教学部
学历:博士研究生毕业
性别:
毕业院校:南京航空航天大学

当前位置: 中文主页 >> 科学研究 >> 论文成果
标题:
Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks
点击次数:
所属单位:
计算机科学与技术学院/人工智能学院/软件学院
发表刊物:
IEEE ACCESS
ISSN号:
2169-3536
是否译文:
发表时间:
2018-11-15
合写作者:
冯涛,宋俊花,郭宗豪,胡军
通讯作者:
王立松
发表时间:
2018-11-15
个人简介

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


指导研究生情况:

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

 

 


扫一扫用手机查看