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 | Bio}}
+
{{Header | Simple Biography}}
* BSc in Peking University, China
+
* Undergraduate student at Peking University, China
* Teaching Assistant in Birmingham City University, UK
+
* Teaching assistant at Birmingham City University, UK
* Research Assistant in Singapore University of Technology and Design, Singapore
+
* Research assistant at Singapore University of Technology and Design, Singapore
* PhD Student in University of Illinois at Urbana-Champaign, USA
+
* PhD student at University of Illinois at Urbana-Champaign, USA
  
 
{{Header | Research Interests and Ongoing Research Projects}}
 
{{Header | Research Interests and Ongoing Research Projects}}

Revision as of 22:14, 4 October 2016

Xiaohong Chen

Simple Biography
  • Undergraduate student at Peking University, China
  • Teaching assistant at Birmingham City University, UK
  • Research assistant at Singapore University of Technology and Design, Singapore
  • PhD student at University of Illinois at Urbana-Champaign, USA
Research Interests and Ongoing Research Projects
  • Formal aspects of programming languages
    • Separation logic as a sub-logic of matching logic
    • Rewriting logic
  • Automated programs verification methods
    • Bounded model checking with the K framework
    • Automated theorem proving
Publications
  • Towards concolic testing for hybrid systems, Proceedings of the 21st International Symposium on Formal Methods (FM'16)
  • A framework for off-line conformance testing of timed connectors, Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15)
  • A hybrid model of connectors in cyber-physical systems, Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM'14)
Personal tools
Namespaces

Variants
Actions
Navigation