About Me
I’m a Master’s student at Verification of System Software Group at the Institute of Software, Chinese Academy of Sciences (ISCAS) and University of Chinese Academy of Sciences (UCAS), supervised by Prof. Zhilin Wu. I previously earned a Bachelor’s degree in Computer Science and Technology (Honors Program) from Northwestern Polytechnical University (NWPU) in 2023.
My research interest includes Hardware Formal Verification and Large Language Models for Software Engineering.
Here is my resume!
π₯ News
- 2025.06: Β ππ Celebrating the launch of my personal website!
π Publications
- Formal Verification of RISC-V Processor Chisel Designs
Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song and Zhilin Wu in 10th Dependable Software Engineering. Theories, Tools, and Applications(SETTA), 2024.
βοΈ Projects
GenshinCPU - Seven-Stage Pipelined MIPS Architecture Processor 
- π οΈ Stack: Verilog/SystemVerilog, C/C++, FPGA | πReport
- A seven-stage single-issue processor based on the MIPS32 ISA, contains instruction and data cache, with a frequency of 145MHz, and can run PMON, Ucore, and Linux systems normally
- Built CI (Continuous Integration) and Verilator (Accelerated Compilation) infrastructure, saving 300 hours of local debugging time, designed and completed differential testing framework.
- Booted the Linux 2.6 kernel in 3 days, earning the National First Prize in the 5th Loongson Cup.
SQL-OJ Database Online Evaluation System
- π οΈ Stack: SQL, Django, JavaScript, Redis, Celery | π Code
- Stack: SQL, HTML, CSS, JavaScript and Python (Django)
- Developed an online SQL assessment platform for teaching, supporting exams, exercises, and student management.
- Designed and implemented front-end (Bootstrap) and back-end (Django) systems with answer analysis.
- Optimized system performance for high concurrency using Redis, Celery, and message queue mechanisms.
- Awarded National Second Prize in the Chinese Collegiate Computing Competition; adopted as the official evaluation system for “Database Principles” at NWPU since 2022.
Intelligent Training Management Platform for Museum Volunteers
- π οΈ Stack: HTML, CSS, JavaScript and PHP
- Combined with my personal experience of volunteering at Shaanxi History Museum, I developed a one-stop platform for recruitment, training, management, communication, and guarantee for the museum volunteer groups with a total of 2,000 users.
- Won the National Second Prize of China Collegiate Computer Computing Contest (WeChat Mini Program Track).
π Honors and Awards
- Merit Student, University of Chinese Academy of Sciences, 2024, 2025
- Academic Scholarship, University of Chinese Academy of Sciences, 2023, 2024
- Outstanding Graduate, Northwestern Polytechnical University, 2023
- National Second Prize, Chinese Collegiate Computing Competition, 2022
- Top 10 Class Monitors, Northwestern Polytechnical University, 2022
- Top Student Award, Northwestern Polytechnical University (Top 20 undergraduate), 2021
- Tencent Grand Prize Scholarship (Top 1 in School of Computer Science, NWPU), 2021
- China National Scholarship, 2020, 2021
- National First Prize, National Student Computer System Capability Challenge (Loongson Cup), 2021
- Meritorious Winner (First Prize), Mathematical Modeling Competition for American Students, 2020, 2021
- National Second Prize, China Collegiate Computing Contest, 2020, 2021
π Educations
- 2023.09 - 2026.06 (expected), Master Degree of Computer Science and Technology, Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences.
- 2019.09 - 2023.06, Bachelor Degree of Computer Science and Technology (Honors Program), Northwestern Polytechnical University.