Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 15: Line 15:
 
I am currently carrying out a short-term survey study on
 
I am currently carrying out a short-term survey study on
 
<span class="plainlinks">[https://en.wikipedia.org/wiki/Separation_logic separation logic]</span>, with a specific focus on  
 
<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
+
some historic views, its relationship with other major logics, and the status quo of its tools support. The study is expected to cover some
interesting discussions about the frame problem, one of the main problem that separation logic tries to solve. The survey
+
interesting discussions about the  
will examine a number of major variances of separation logic, and compare them with other logics that take the frame problem
+
<span class="plainlinks">[http://plato.stanford.edu/entries/frame-problem/ frame problem]</span>,
 +
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 also take the frame problem
 
into account, especially [[Matching_Logic | matching logic]]. The aim of establishing such a co-relationship between separation logic and
 
into account, especially [[Matching_Logic | 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.
+
matching logic is to borrow as many as "research fruits" from the separation logic community, and as a result 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 updating my research progress in my [[Xiaohong%27s_Research_Diary | research diary]]. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.
 
I keep updating my research progress in my [[Xiaohong%27s_Research_Diary | research diary]]. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.

Revision as of 16:20, 6 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 with other major logics, and the status quo of its tools support. The study is expected to 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 also take the frame problem into account, especially matching logic. The aim of establishing such a co-relationship between separation logic and matching logic is to borrow as many as "research fruits" from the separation logic community, and as a result innovate research on matching logic.

I keep updating my research progress in my research diary. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.


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