MSc Student at the Department of Computer Science and Technology, Nanjing University
Bio
Chuyang Chen was born in Xiangyang, Hubei, China, in 1998. He received his BSc degree from the Department of Computer Science and Technology, Nanjing University, Jiangsu, China, in 2020. In the same year, he attended the MSc program in the same institution under the supervision of
Assistant Researcher Huiyan Wang and
Professor Chang Xu.
Research Interests
Chuyang Chen is passionate about software testing technologies, including fuzzing, metamorphic testing, and constraint checking. He also has a vast interest in related areas in the disciplines of computer science and mathematics, such as model checking, static analysis, and mathematical logic.
Selected Publications
[Full Publication List]
- Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedings of the 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), pp. 13–24, Charlotte, North Carolina, USA, Oct–Nov 2022. [pdf][best paper candidate (3/48)]
Teaching Assistant
- Introduction to Computer Systems (2022 Fall)
Industrial Experience
Open-source Software
Internships and Full-time Jobs
Honors and Awards
- First-class Merit Scholarship 英才奖学金一等奖 (Nanjing University, 2022)
- Second-class Academic Scholarship 学业奖学金二等奖 (Nanjing University, 2022)
- Second-class Academic Scholarship 学业奖学金二等奖 (Nanjing University, 2021)
- First-class Academic Scholarship 学业奖学金一等奖 (Nanjing University, 2020)
- Third-class People's Scholarship 人民奖学金三等奖 (Nanjing University, 2019)
- First-class People's Scholarship 人民奖学金一等奖 (Nanjing University, 2018)
Hobbies
Strategy games, CRPGs, and roguelikes; reading, especially sci-fi and philosophy; indie music, mainly post-punk these days...
Last updated on January 27, 2023.