Fu Song
Assistant Professor, PI
Information Science and Technology
Shanghai Tech University
China
Biography
Fu Song is an Assistant Professor 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. In August 2016, Dr. Song joined ShanghaiTech University as a tenure-track assistant professor , PI in School of Information Science and Technology.
Research Interest
Fu Song's 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).
Publications
-
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.
-
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.
-
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.
-
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.
-
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.
