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 | Simple Biography}}
 
{{Header | Simple Biography}}
Line 7: Line 8:
 
* 2010 to 2014. Undergraduate student. Peking University, China
 
* 2010 to 2014. Undergraduate student. Peking University, China
  
{{Header | Research Interests and Ongoing Research Projects}}
+
 
* Formal aspects of programming languages
+
{{Header | Research Interests}}
** Separation logic as a sub-logic of matching logic
+
I hold a general interest in mathematics and computer science, and that is part of the reason why I am focusing on
** Rewriting logic
+
<span class="plainlinks">[https://en.wikipedia.org/wiki/Formal_methods formal methods]</span>.
* Automated programs verification methods
+
 
** Bounded model checking with the [http://www.kframework.org/ K framework]
+
I am currently carrying out a short-term survey study on
** Automated theorem proving
+
<span class="plainlinks">[https://en.wikipedia.org/wiki/Separation_logic separation logic]</span>, with a specific focus on
 +
some historic views, its relationship towards other major logics, and the status quo of tools support. I will cover some
 +
interesting discussions about the frame problem, one of the main problem that separation logic tries to solve. The survey
 +
will examine a number of major variances of separation logic, and compare them with other logics that take the frame problem
 +
into account, especially the matching logic. The aim of establishing such a co-relationship between separation logic and
 +
matching logic is to borrow as many as "fruits" in the separation logic community and innovate research on matching logic.
 +
I believe the design of matching logic makes it as flexible and powerful as separation logic, and an efficient automatic
 +
proof system working with matching logic, (in other words, a matching logic prover), is not only feasible but promising.
 +
 
 +
I keep update my research progress in my [[research diary]].
 +
 
  
 
{{Header | Publications}}
 
{{Header | Publications}}

Revision as of 23:03, 4 October 2016

Xiaohong Chen


Simple Biography
  • 2016 to present. PhD student. University of Illinois at Urbana-Champaign, USA
  • 2015 to 2016. Research assistant. Singapore University of Technology and Design, Singapore
  • 2014 to 2015. Teaching assistant. Birmingham City University, UK
  • 2010 to 2014. Undergraduate student. Peking University, China


Research Interests

I hold a general interest in mathematics and computer science, and that is part of the reason why I am focusing on formal methods.

I am currently carrying out a short-term survey study on separation logic, with a specific focus on some historic views, its relationship towards other major logics, and the status quo of tools support. I will cover some interesting discussions about the frame problem, one of the main problem that separation logic tries to solve. The survey will examine a number of major variances of separation logic, and compare them with other logics that take the frame problem into account, especially the matching logic. The aim of establishing such a co-relationship between separation logic and matching logic is to borrow as many as "fruits" in the separation logic community and innovate research on matching logic. I believe the design of matching logic makes it as flexible and powerful as separation logic, and an efficient automatic proof system working with matching logic, (in other words, a matching logic prover), is not only feasible but promising.

I keep update my research progress in my research diary.


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