Visit ShanghaiTech University | 中文 | How to find us
HOME> People> Faculty
Prof. Fu Song / 宋富 助理教授、研究员

Tel:  (021) 20685397
Office: Room 1A-504C, SIST Building, No.393 Huaxia Middle Road, Pudong Area Shanghai
Major: CS
Fu Song Research Group Recruitment (Click Here)


  • Model-Checking
  • System analysis and verification
  • Computer security


Fu Song is an Assistant Professor, PI as School of Information Science and Technology, ShanghaiTech. He received M.S. from East China Normal University in 2009 and Ph.D from Univeristy Paris Diderot (Paris 7) in 2013. After this Ph,D studies, he has been working in East China Normal Univeristy as Assistant Professor from 2013 to 2015 and Research Assoicate Professor since 2016, he also has been an invited research at Nanyang Technological University in 2014. 

His reearch interests broadly span model-checking, verification and automated analysis of systems and computer security. His paper on malware detection via pushdown model-checking won EASST best paper award at the18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). 


1. Fu Song.  Analyzing Pushdown Systems with Stack Manipulation. Information and Computation (I&C),  259(1): 41-71, 2018.

2. Fu Song and Zhilin Wu. On temporal logics with data variable quantifications: Decidability and Complexity. Information and Computation (I&C), 251:104139, 2016.

3. Jun Zhang, Pengfei Gao, Fu Song# and Chao Wang. SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks. In Proc. The 30th International Conference on Computer Aided Verification (CAV), 2018.

4. Taolue Chen, Jinlong He, Fu Song*, Guozhen Wang, Zhilin Wu and Jun Yan. Android Stack Machines. In Proc. The 30th International Conference on Computer Aided Verification (CAV), 2018.

5. Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu and Fu Song. SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills. In Proc. of the 39th ACM/IEEE International Conference on Software Engineering (ICSE),  2017.

6. Taolue Chen , Fu Song* , and Zhilin Wu . Verifying Pushdown Multi-Agent Systems against Strategy Logics. In Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016.

7. Taolue Chen , Fu Song* , and Zhilin Wu . Global model checking on pushdown multi-agent systems. 2016. In Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI), 2016.