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.

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 (C3).

During my PhD, I interned twice at Google. I was a PhD intern at System Research Group (SRG), working on optimizing TPU scheduling for AI workloads with Yawen Wang and Martin Maas. Before that, I was a student researcher 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.

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

Last Update: Feb 2025.