About Me

Hi everyone! I am a first year PhD student at Vanderbilt University majored in Computer Science, where I am fortunate to be advised by Prof. Meiyi Ma. I earned my Master degree from Washington University in St. Louis major in Data Analytics and Statistics, where I was fortunate to be advised by Prof. Yiannis Kantaros. Before that, I received my Bachelor degree from Indiana University Bloomington with major in Mathematics and minor in Statistics.

Research Interests

My research interests lie at the implementation of formal methods on autonomous cyber-physical systems. Specifically, with uncertainty quantification techniques to ensure the robustness of the cyber-physical systems.

Publications

• Wang, J., He, G., & Kantaros, Y. (2025). Probabilistically Correct Language-Based Multi-Robot Planning Using Conformal Prediction. IEEE Robotics and Automation Letters, 10(1), 160-167. [DOI]

Contact

guocheng.he@vanderbilt.edu