Registered user since Thu 30 Jun 2022
Name:Fu Song
Bio:
Fu Song is 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
Country:China
Affiliation:ShanghaiTech University
Personal website: https://faculty.sist.shanghaitech.edu.cn/faculty/songfu
GitHub: https://github.com/S3L-official
Research interests:Formal Verification, Software Security, AI Security
Contributions
ICSE 2023-profile
View general profile
View general profile