• / Prof. Fu Song / 宋富 助理教授、研究员
    电话:(021) 20685397
    Email: songfu@@shanghaitech.edu.cn
    办公室: 上海市浦东新区华夏中路393号信息学院1A-504C室
    专业方向: 计算机科学与技术
Prof. Fu Song / 宋富 助理教授、研究员

电 话:(021) 20685397
Email :songfu@@shanghaitech.edu.cn
办公室:上海市浦东新区华夏中路393号信息学院1A-504C室
个人主页: http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/
专业方向: 计算机科学与技术
宋富 研究组招聘广告(点击进入)

研究领域


  • 模型检查

  • 系统分析与验证

  • 计算机安全



个人简历

      宋富博士于2009年6月获得华东师范大学软件工程硕士学位,2013年4月获得巴黎狄德罗大学(巴黎七大)计算机科学博士学位,同年8月加入华东师范大学任讲师,2016年1月破格晋升为副研究员,期间受新加坡南洋理工大学(NTU)邀请参加访问研究三个月,并于2015年分别荣获上海市“浦江人才”和上海市“晨光学者”称号。2016年8月全职加入上海科技大学信息科学与技术学院,担任tenure-track助理教授、研究员。宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用,其提出的基于下推自动机模型检查的恶意软件检查方法在第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. Yeow Meng Chee, San Ling, Huaxiong Wang, and Liang Feng Zhang, "Upper Bounds on Matching Families in Z_pq^n," IEEE Transactions on Information Theory, Vol. 59, No. 8, pp. 5131-5139, 2013.
6. Yeow Meng Chee, Tao Feng, San Ling, Huaxiong Wang, and Liang Feng Zhang, "Query-Efficient Locally Decodable Codes of Subexponential Length," Computational Complexity, Vol. 22, Issue 1, pp. 159-189, 2013.
7. 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. 
8. 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.