I am a Ph.D. student at University of Texas at Austin, fortunately advised by Prof. Swarat Chaudhuri. Prior to that, I received a B.S. in Computer Science from Fudan University in 2019.

My research interests span the areas of AI, Systems, and Formal Methods. I have rich industrial experiences and am passionate about designing ML-based systems and AI infrastructure.

At school, I focused on the problem of guaranteeing performance/safety of ML-based systems, where I developed theories and tools (DSE, CAROL) to ensure the safety and robustness of learning-based controllers and extend the theory to networked systems (Certified Learning for Congestion Control).

During my PhD, I interned twice at Google. I was a PhD intern at System Research Group (SRG) in 2024 summer, working on optimizing TPU scheduling for AI workloads with Yawen Wang and Martin Maas. In 2023, I was a student researcher at Google, working on machine learning for storage systems with Elliot Li, Martin Maas, and Mustafa Uysal. Before that, I was a research assistant working with Prof. Lili Qiu, focusing on video streaming optimization; a summer analyst at Goldman Sachs, working on high frequency trading protocol verification; a research assistant at Fudan University, advised by Prof. Yang Chen; and a research assistant in Peking University, supervised by Prof. Chenren Xu.

My CV is available here.

I am on the industry job market!

Life: 🏊! ♣️! 🎿, 🧗, 🏄, 🤿.

Last Update: Sep 2024.