Sun, Yiqing孙一清
MSc Eng. in Computer Science and Engineering
Technical University of Denmark (DTU)
About
I am an MSc student in Computer Science and Engineering at DTU. My current research interests lie at the intersection of software analysis, formal methods, and LLM-based agents. I explore how neuro-symbolic methods can improve the security, correctness, reliability, and efficiency of software systems.
More broadly, I am interested in any topic related to information, language, reasoning, computation, and intelligence.
Before DTU, I studied cybersecurity at Sichuan University and spent a semester as a visiting student at UC Berkeley.