Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 1: Line 1:
 
[[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]]
 
[[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]]
  
{{Header | Research Interests}}
+
{{Header | Research Interests and Ongoing Research Projects}}
 
* Formal Semantics of Programming Languages
 
* Formal Semantics of Programming Languages
 
* Automated Programs Verification Methods
 
* Automated Programs Verification Methods

Revision as of 21:01, 19 September 2016

Xiaohong Chen

Research Interests and Ongoing Research Projects
  • Formal Semantics of Programming Languages
  • Automated Programs Verification Methods
Personal tools
Namespaces

Variants
Actions
Navigation