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 Interest}}
+
{{Header | Research Interests}}
* item 2
+
* Formal semantics of programming languages

Revision as of 20:55, 19 September 2016

Xiaohong Chen

Research Interests
  • Formal semantics of programming languages
Personal tools
Namespaces

Variants
Actions
Navigation