Pengfei Gao is a fifth-year Ph.D. student at ShanghaiTech University under supervision of Prof. Fu Song. His research interests broadly involve program analysis and verification for correctness and security-driven concerns. He has focued on developing new techniques to formally verify side-channel resistance of cryptographic algorithms and design secure and efficient masked implementations against side-channel attacks. He is also interested in software testing, e.g. how to automatically find bugs in software or further improve the code coverage.
Outside of Lab, he likes going to the gym and DIY electronic projects.
Email: $$ ((x \to (y \to xy@shanghaitech.edu.cn))(gao))(pf)$$
Download my resumé.
PhD in Computer Science, 2023
ShanghaiTech University
BSc in Computer Science, 2017
China University of Mining and Technology