He Li
Bachelor Student
Zhejiang University
I have been doing my Bachelor’s thesis at the Formal Verification Group under the co-supervision of Dr. Mingshuai Chen and Dr. Jianwei Yin. The goal of my research is to develop a uniform language for specifying and reasoning about multimodal service regulations.
I am currently a software engineer at IPLUSMOBOT, Hangzhou, China
Interests
- Service Computing
- Service Regulation
- Multimodal Learning
- Language Design
Education
-
B.Sc. in Computer Science (Turing Class), 2024
Zhejiang University