宋富-中国科学院大学-UCAS
[中文]
[English]
招生信息
教育背景
工作经历
教授课程
出版信息
科研活动
个人主页
基本信息
宋富 男 博导 上海科技大学电子邮件： songfu1983@shanghaitech.edu.cn通信地址： 上海市浦东新区华夏中路393号信息学院邮政编码：
研究领域
模型检查系统分析与验证计算机安全
招生信息
招收硕士、博士
招生专业
081202-计算机软件与理论081203-计算机应用技术081220-信息安全
招生方向
系统分析与验证
教育背景
2009-12--2013-04 巴黎狄德罗大学（巴黎七大） 博士2007-03--2009-06 华东师范大学 硕士2002-09--2006-06 宁波大学 学士
学历
研究生
学位
博士
工作经历
Since 2016.1 Associate Research ProfessorSchool of Computer Science and Software EngineeringEast China Normal University， Shanghai, China2013.8 - 2015.12 LecturerSchool of Computer Science and Software EngineeringEast China Normal University，Shanghai, China2014.7 - 2014.9 Invited ResearcherSchool of Computer EngineeringNanyang Technological University，Singapore
工作简历
2016-01~2016-07,华东师范大学, 副研究员2013-08~2015-12,华东师范大学, 讲师
社会兼职
2016-03-01-今,中国计算机学会, 形式化方法专业组委员
教授课程
信息安全研究方法嵌入式系统开发实践
出版信息
发表论文
（1） Survey on Formal Models to Reason about Infinite Data Values, Journal of Software, 2016, 第 1 作者（2） Verifying Pushdown Multi-Agent Systems against Strategy Logics, the 25th International Joint Conference on Artificial Intelligence, 2016, 第 1 作者（3） Global model checking on pushdown multi-agent systems, the 30th AAAI Conference on Artificial Intelligence, 2016, 通讯作者（4） Model-checking software library API usage rules, Software & Systems Modeling, 2015, 第 1 作者（5） Model checking dynamic pushdown networks, Formal Aspects of Computing, 2015, 第 1 作者（6） On the satisfiability of indexed linear temporal logics, the 26th International Conference on Concurrency Theory, 2015, 通讯作者（7） On reachability analysis of pushdown systems with transductions: Application to boolean programs with call-by-reference, the 26th International Conference on Concurrency Theory, 2015, 第 1 作者（8） Efficient CTL model-checking for pushdown systems, Theoretical Computer Science, 2014, 第 1 作者（9） Pushdown model checking for malware detection, Journal on Software Tools for Technology Transfer, 2014, 第 1 作者（10） Model-checking for android malware detection, the 12th Asian Symposium on Programming Languages and Systems, 2014, 第 1 作者（11） Extending temporal logics with data variable quantifications, the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014, 第 1 作者（12） LTL model-checking for malware detection., the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2013, 第 1 作者（13） Model checking dynamic pushdown networks, the 11th Asian Symposium on Programming Languages and Systems, 2013, 第 1 作者（14） Model-checking software library API usage rules, the 10th International Conference on Integrated Formal Methods, 2013, 第 1 作者（15） Pommade: pushdown model-checking for malware detection, the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013, 第 1 作者（16） Efficient malware detection using model-checking, the 18th International Symposium on Formal Methods, 2012, 第 1 作者（17） Pumoc: a CTL model-checker for sequential programs, the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012, 第 1 作者（18） Pushdown model checking for malware detection, the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2012, 第 1 作者（19） Efficient CTL model-checking for pushdown systems, the 22nd International Conference on Concurrency Theory, 2011, 第 1 作者
科研活动
科研项目
（ 1 ）&nbsp恶意软件静态分析与检测关键技术研究, 主持, 国家级, 2015-01--2017-12（ 2 ）&nbsp二进制程序的模型检查技术研究, 主持, 省级, 2015-01--2016-12（ 3 ）&nbsp复杂二进制程序静态分析及其应用研究, 主持, 省级, 2014-07--2016-06（ 4 ）&nbsp大规模概率并发实时系统模型检验, 参与, 国家级, 2016-01--2020-12（ 5 ）&nbsp不确定环境下可信国产城轨控制系统（iCMTCt）构造关键技术研究, 参与, 国家级, 2015-01--2016-12（ 6 ）&nbsp车载网和车载云中信息安全与隐私保护关键技术研究, 参与, 国家级, 2016-01--2019-12（ 7 ）&nbsp汽车电子功能安全体系设计及功能安全模型及验证工具开发, 参与, 国家级, 2014-01--2016-11
参与会议
（1）Verifying Pushdown Multi-Agent Systems against Strategy Logics 2016-07-09（2）On reachability analysis of pushdown systems with transductions: Application to boolean programs with call-by-reference 2015-09-01
个人主页
http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/
2013 中国科学院大学，网络信息中心.