I am currently pursuing a Ph.D. degree at the Formal Verification Group under the co-supervision of Dr. Mingshuai Chen and Dr. Jianwei Yin. My research interest lies in the general scope of service computing and regulation, where my aim is to develop a uniform framework for specifying and reasoning about multimodal service regulations.
Ph.D. in Computer Science, 2028
B.Sc. in Intelligence Science and Technology, 2023
Nanjing University of Science and Technology