Chenyi Zhang
SaToSS
»
Members
» Chenyi Zhang
SaToSS home
Publications
Contact
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