About
News
Academic
-
1Biography
-
2Contact Me
BIOGRAPHY
I work at the intersection of intelligent software engineering and software security, with a current focus on trustworthy code generation. My group studies white-box, auditable generation pipelines that unify correctness × efficiency × security × auditability, embedding decision & evidence into the generation process to move from explainable to auditable code. We also build repo-level analyses and benchmarks for LLM→CodeQL generation/evaluation and study LLM security for code.
Academic homepage: https://chenlyusdnu.github.io/me/
