Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 13: Line 13:
 
<span class="plainlinks">[https://en.wikipedia.org/wiki/Formal_methods formal methods]</span>.  
 
<span class="plainlinks">[https://en.wikipedia.org/wiki/Formal_methods formal methods]</span>.  
  
I am currently carrying out a short-term survey study on
+
I am currently working on an automated theorem prover for the matching logic. The ultimate goal is to have a powerful prover that takes best use of existing general purpose SAT/SMT solvers, and outperforms against popular solvers in specific domains (for example, separation logic provers). 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.
<span class="plainlinks">[https://en.wikipedia.org/wiki/Separation_logic separation logic]</span>, 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
+
<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
+
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 [[Xiaohong%27s_Research_Diary | research diary]]. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.
+
  
 
{{Header | Activities}}
 
{{Header | Activities}}

Revision as of 04:37, 4 January 2017

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 working on an automated theorem prover for the matching logic. The ultimate goal is to have a powerful prover that takes best use of existing general purpose SAT/SMT solvers, and outperforms against popular solvers in specific domains (for example, separation logic provers). 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.

Activities
  • I attended FM'16, hosted in Cyprus, and give a presentation talk there.
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)
Fun
  • I am a dan player of the game of Go.
  • My favorite pieces of classical music include Beethoven's piano sonatas of Appassionata and Pathetique, and Tchaikovsky's Piano Concerto No. 1.
Personal tools
Namespaces

Variants
Actions
Navigation