Tianyu Chen
Researcher
About
Tianyu Chen is a researcher at MSRA. He received my PhD degree in Computer Science at Peking University in 2025. His research interests are related to Open-Source Software (OSS) vulnerabilities, Formal Verification, and other Software Engineering tasks. His research includes large language model’s application in security, software engineering, and software verification.
Please visit my latest homepage About Me – Tianyu Chen (opens in new tab).