Scholar
Fu SONG
Google Scholar ID: RTTSafIAAAAJ
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Citations & Impact
Citations
1,782
H-index
22
i10-index
39
Publications
20
Co-authors
15
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Developed theories and tools to aid in the construction of provably dependable and secure systems. Some of the research works include: DeJITLeak, Attack as Defense, SCInfer, KRust, PAMC Satisfiability Checker and Model Checker, YSECURE, PuMoC, POMMADE, etc.
Research Experience
- Served as an Associate Professor at ShanghaiTech University (2016-2023), and as an Associate Research Professor and Lecturer at East China Normal University (2013-2016). Visiting researcher at Nanyang Technological University's Computer Security Lab in 2014. Currently a Research Professor at the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Education
- Received his Ph.D. from University Paris Diderot (Paris 7) in 2013.
Background
- Research interests include formal methods, cybersecurity (of software and ML/DL systems), programming languages, and multi-agent systems. Published papers at several international conferences and won the EASST best paper award at ETAPS 2012.
