I am currently working on my Bachelor’s thesis at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. The goal of my research is to develop a uniform language for specifying and reasoning about multimodal service regulations.