Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 3: Line 3:
 
{{Header | Research Interests and Ongoing Research Projects}}
 
{{Header | Research Interests and Ongoing Research Projects}}
 
* Formal Semantics of Programming Languages
 
* Formal Semantics of Programming Languages
** Separation Logic
+
** Separation Logic as a Sub-Logic of Matching Logic
** Matching Logic
+
 
* Automated Programs Verification Methods
 
* Automated Programs Verification Methods
 
** Bounded Model Checking with <span class="plainlinks">[http://www.kframework.org <math>\mathbb{K}</math>]</span>
 
** Bounded Model Checking with <span class="plainlinks">[http://www.kframework.org <math>\mathbb{K}</math>]</span>

Revision as of 21:11, 19 September 2016

Xiaohong Chen

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}
Personal tools
Namespaces

Variants
Actions
Navigation