Interests
- Equivalence Checking
- Model Checking
Education
M.A. in Computer Technology, 2023-2026
Guizhou University
B.S. in Computer Science and Technology, 2023
Guiyang University
M.A. in Computer Technology, 2023-2026
Guizhou University
B.S. in Computer Science and Technology, 2023
Guiyang University