Xiatian Wu
I am an undergraduate student at Xi'an Jiaotong University's NetVerify Lab, where I conduct research under the guidance of Prof. Peng Zhang.
Currently, my research is focused on improving the performance of solving string constraints in SMT solvers.
Research Interest
- SMT Solver
- Regular Expression And String Constraints
Education Experience
Xi'an Jiaotong University
School of Computer Science and Technology
B.E. in Computer Science, 2023.9 - now
Award
The 2024 International Collegial Programming Contest (ICPC)
Gold Medal, Asia Shenyang Regional Contest
The 2024 China Collegial Programming Contest (CCPC)
Silver Medal, Jinan Contest