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.
- Formal Methods on Information Flow Security
- Security Protocol Verification
- Process Algebra
- Static Program Analysis