Yutao Sun

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

Publications

Conference Papers

Preprints