Undergraduate Researcher @ Shanxi University
Nov. 2017 — Nov. 2018 • Taiyuan, China - Authored 1-Good-Neighbor Diagnosability of Unidirectional K-ary N-Cubes under the PMC Model in Computer Engineering and Applications.
- Employed combinatorial proof techniques using mathematical induction and constructive labeling to derive the diagnosability bound for K-ary N-Cubes.
- Coordinated a 5-member team over a year, producing one journal submission on schedule.
- Cultivated advanced skills in formal proof techniques, MATLAB coding, and team project management.
- Formally derived 1-good-neighbor diagnosability bound k(n−1), and kn−1.
