Yang Li
PhD Student
I am a DPhil student at the University of Oxford and am supervised by Professors Nobuko Yoshida. My research combines classical multiparty session types with modern machine learning techniques, using fine-tuned large language models to automate and verify projection decisions, produce structured reasoning traces, and generate valid subtypes.