POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Fu Song

Registered user since Thu 30 Jun 2022

Name:Fu Song

Fu Song is a Research Professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences. He was an Associate Professor (Tenured) at School of Information Science and Technology in the ShanghaiTech University. Fu received his Ph.D. from University Paris Diderot(Paris 7) in 2013. His research group develops theory and tools to aid the construction of provably dependable and secure systems

Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China
Research interests:Formal Verification, Software Security, AI Security


Show activities from other conferences

POPL 2024-profile
View general profile