Xiaohong Chen

From FSL

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

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Research Interests and Ongoing Research Projects

Formal Semantics of Programming Languages
- Separation Logic as a Sub-Logic of Matching Logic
Automated Programs Verification Methods
- Bounded Model Checking with $\mathbb{K}$

Retrieved from "http://fsl.cs.illinois.edu/index.php?title=Xiaohong_Chen&oldid=18115"

Personal tools

Log in