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
