Hi there👋! I’m a undergraduate at Department of Computer Science and Engineering, Southern University of Science and Technology (SUSTech).
I am a self-motivated PL researcher with a strong interest in programming language theory, type systems, and formal verification. I have experience in developing compilers and static analysis tools, and I am passionate about exploring new techniques to improve software reliability and performance. Currently, my focus is on implementing and experimenting new features in the LLVM IR, specifically through the use of the llubi (LLVM Undefined Behavior Interpreter).
Personal Information
- Email address: chenzg2024@mail.sustech.edu.cn
- Github: github/nofe1248
- ORCID: 0009-0003-9210-1780