I am currently working on my Bachelor’s thesis at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. My research focuses on quantum programming languages and hybrid system identification. I will join the group as a Ph.D. Candidate in September 2025.