首页 > 信息学院 > 师资队伍 > 宋富个人简介
宋富    助理教授、研究员
所在学院 信息科学与技术学院
研究方向 模型检查、系统分析与验证、计算机安全
联系方式 songfu@@shanghaitech.edu.cn
 
  个人简介  
2006年,获得宁波大学电子信息科学与技术专业学士学位
2009年,获得华东师范大学软件工程专业硕士学位
2013年,获得University Paris-Diderot(Paris 7)计算机科学专业博士学位
2013年7月-2015年12月,华东师范大学任讲师
2014年6月-2014年9月,南洋理工大学任访问研究员
2016年1月-2016年7月,华东师范大学任副研究员
2016年8月,加入上海科技大学,在信息科学与技术学院任助理教授、研究员
  主要研究内容  
宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用,其提出的基于下推自动机模型检查的恶意软件检查方法在第18届TACAS/ETAPS国际会议上获得了欧洲软件科学与技术协会(EASST)颁发的最佳论文奖。
  代表性论文  
1. Taolue Chen, Fu Song* and Zhilin Wu. Verifying Pushdown Multi-Agent Systems against Strategy Logics. In Proc. of the 25th International Joint Conference on Artifficial Intelligence (IJCAI 2016). New York, USA. 9-15 July, 2016.

2. Taolue Chen, Fu Song* and Zhilin Wu. Global Model Checking on Pushdown Multi-Agent Systems. In Proc. of the 30th AAAI Conference on Artifficial Intelligence (AAAI 2016). Arizona, USA. 12-17 February, 2016.

3. Fu Song, Weikai Miao, Geguang Pu and Min Zhang. On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. In Proc. of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. 1-4 September, 2015.

4. Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown Systems. Int. Journal on Theoretical Computer Science (TCS), Volume 549, 11 September 2014, Pages 127-145. DOI:10.1016/j.tcs.2014.07.001.

5. Fu Song and Tayssir Touili. LTL Model-Checking for Malware Detection. In Proc. of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Rome, Italy. March 16-24, 2013. DOI:10.1007/978-3-642-36742-7_29.

6. Fu Song and Tayssir Touili. Pushdown Model-Checking for Malware Detection. In Proc. of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).Tallinn, Estonia. March 24-April 1, 2012. DOI:10.1007/978-3-642-28756-5_9. This paper won the EASST best paper award at ETAPS 2012.
浏览次数:3200