Hi, I’m Chenxi Yang, a Ph.D. student in the Trishul group 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 AI for systems, provably safe learning, trustworthy AI, and neurosymbolic learning.

Prior to joining the Trishul Group, 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.

I like hiking, swimming, and playing the piano.