I am an assistant professor in the School of Computer Science at Fudan University, where I lead the System Security & Reliability (SSR) research group. Our research at SSR is dedicated to constructing and advancing secure and reliable computing systems by addressing foundational challenges in the design, implementation, and verification of modern hardware-software co-designed computation. Our key research areas include:
- Software Security and Assurance
- High-precision program analysis and formal methods
- Integration of program analysis with AI-driven techniques
- Vulnerability detection and remediation in large-scale real-world systems
- Secure and Safe Programming
- Design and implementation of memory-safe programming languages
- Language-level abstractions for computation
- Security and reliability of AI-generated and AI-assisted code
- AI Safety and Security
- Safe and reliable agentic systems
- Trustworthy and secure AI models
- Secure and safe embodied intelligence
Contact
- Email: yanggl at fudan.edu.cn
- Office: Room D6013, NO.2 Interdisciplinary Building, Fudan JiangWan Campus, Shanghai