Yucheng Wang
M.Sc. Candidate
Zhejiang University
I am currently working on my Bachelor’s thesis at the Formal Verification Group under the supervision of Dr. Mingshuai Chen and am going to be a M.Sc. Candidate in September, 2025. My research interest lies in programming theory and formal verification of operating systems.
Interests
- Formal Verification of Operating Systems
- Theorem Proving
- Programming Theory/Languages
Education
-
M.Sc. in Electronic and Information Engineering (Computer Technology), 2028
Zhejiang University
-
B.Sc. in Computer Science (Turing Class), 2025
Zhejiang University