Difference between revisions of "Xiaohong Chen"
From FSL
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:00, 19 September 2016
Research Interests and Ongoing Research Projects |
---|
- Formal Semantics of Programming Languages
- Automated Programs Verification Methods