Bio
Chuyang Chen is a first-year PhD student who joined
Prof. Zhiqiang Lin's
team at The Ohio State University in Aug. 2024. He got his MSc degree from Nanjing University in 2023 after three
happy years advised by
Prof. Chang Xu and
Asst. Prof. Huiyan Wang. Before that, he got his BSc degree also from
Nanjing University in 2020. He will always cherish the seven years in Nanjing.
Research Interests
Chuyang Chen tries to organize his research from two sides. From the bottom-up side, he focuses on applying
formal methods such as model checking and deductive verification to resolve software security problems introduced by emerging AI technologies and machine learning systems. From the top-down side, he keeps in mind the the so-called
semantic gap
problem, i.e., how it is possible to connect the semantics of different programming languages and specifications.
Selected Publications
[Full Publication List]
- Chuyang Chen*, Brendan Dolan-Gavitt, and Zhiqiang Lin. ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space. In Proceedings of the 34th USENIX Security Symposium (USENIX Security '25), forthcoming, Seattle, Washington, USA, Aug. 2025. [bib, pdf, code]
Work Experience
Academic Jobs
- Jul. 2023–May 2024: Research Assistant, East China Normal University
- Working on metamorphic testing, symbolic execution and SMT solvers in Prof. Ting Su's group
- Sept. 2022–Mar. 2023: Teaching Assistant, Nanjing University
Open-source Software
Honors and Awards
- First-class Merit Scholarship 英才奖学金一等奖 (Nanjing University, 2022)
- Third-class People's Scholarship 人民奖学金三等奖 (Nanjing University, 2019)
- First-class People's Scholarship 人民奖学金一等奖 (Nanjing University, 2018)
Hobbies
Strategy games, CRPGs, and roguelikes; philosophical books and weird fictions such as Thomas Pynchon; lying flat
(躺平) in his dreams.
Last updated on Jun. 6, 2025.