Huang, Xiang
Associate Professor
Computer Science Department
University of Illinois Springfield
Ph.D., Iowa State University, 2020
Phone: (217) 206 8336
E-mail: xhuan5 at uis.edu
Office: UHB 3115
For students: Schedule time with me
Office hours: 3:00-4:00 PM T, W. (Walk-in)
Publications |
Teaching |
CV |
Events |
Undergraduate Research |
Notes|
Blog |
Talks
AI for Mathematics
I am interested in the theoretical aspects of computing in general. Currently, I focus primarily on algorithmic randomness (a.k.a. algorithmic information theory) and analog computing.
In Spring 2026 I began working on AI-driven formalization — AI writes the proof, Lean checks it.
If you are a UIS student, online or on campus, with interests in the above topics, don't hesitate to reach out for potential research opportunities.