No photo of Chunyan Mu
20132019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Summary of Research Interests

Formal method for security, especially on information flow security, language-based security (e.g. type systems guaranteeing security policies such as non-interference), and quantitative verification for security (e.g. measuring security violations and verifying security properties of the systems) by applying information theory, game theory, static analysis, and probabilistic model checking.

Learning and Teaching Interests and Activities

Programming language concept, software reliability, information security and cryptography.

Fingerprint

Dive into the research topics where Chunyan Mu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 4 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
If you made any changes in Pure these will be visible here soon.