Chenyi Zhang

I was a postdoc in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw. My research mostly focuses on how to apply Formal Methods in the area of Computer Security. I am also interested in the fundamental issues in Theoretical Computer Science, such as Program Semantics, Model Checking, and Computational Complexity.

Research Topics.