Guanxuan Wu is a second-year Ph.D. student (preparing to drop-out) and Graduate Research Assistant in Computer Science at the University of Texas at Arlington.
He is a member of SCOPE Lab and his supervisor is Dr. Allison Sullivan.
He has a broad interest in formal methods, software engineering, and applying rigorious mathematical methods to solve problems in PLSE.
Before UTA, he graduated from University of Washington with a B.A. in Mathematics.
H. Wu, A. T. Koru, G. Wu, F. L. Lewis and H. Lin, "Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus," in IEEE Control Systems Letters, vol. 7, pp. 3801-3806, 2023, doi: 10.1109/LCSYS.2023.3341992. [IEEE Explore] [arXiv]
Guanxuan Wu and Allison Sullivan. AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. [arXiv].
TA: CSE 4321 - Software Testing (Fall 2023)
TA: CSE 5360 - Introduction to Artificial Intelligence (Fall 2022, Spring 2023)