Yiqing Sun孙一清
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 program analysis, formal methods, and LLM. I explore how neuro-symbolic methods can improve the security, 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 obtained my bachelor's degree in cybersecurity at Sichuan University and spent a semester as a visiting student at UC Berkeley.