Hi, I’m Chenxi Yang, a Ph.D. student at the University of Texas at Austin. I am fortunate to be advised by Prof. Swarat Chaudhuri. My research interests span the areas of formal methods and machine learning. I am working on formal methods, AI for systems, trustworthy AI, and neurosymbolic learning.

I’m a summer intern at Google (2023), working with Elliot Li, Martin Maas, and Mustafa Uysal. During my graduate school, I spent one year working with Prof. Lili Qiu. Before that, I did my undergraduate at Fudan University, advised by Prof. Yang Chen. I visited Peking University as a research assistant, supervised by Prof. Chenren Xu.

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