Xiaohong Chen

From FSL
Revision as of 21:10, 19 September 2016 by Xiaohong (Talk | contribs)

Jump to: navigation, search

Xiaohong Chen

Research Interests and Ongoing Research Projects
  • Formal Semantics of Programming Languages
    • Separation Logic
    • Matching Logic
  • Automated Programs Verification Methods
    • Bounded Model Checking with \mathbb{K}
Personal tools
Namespaces

Variants
Actions
Navigation