Chenyi Zhang
I am a postdoc in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw.
Research Topics.
- Formal Methods on Information Flow Security
- Probabilistic Process Algebra
- Static Program Analysis