Yutao Sun
Ph.D. Candidate
Zhejiang University
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.
Interests
- Service Computing
- Service Regulation
- Multimodal Learning
- Language Design
- AI for FM
Education
-
Ph.D. in Computer Science, 2028
Zhejiang University
-
B.Sc. in Intelligence Science and Technology, 2023
Nanjing University of Science and Technology