Difference between revisions of "Xiaohong Chen"
From FSL
m |
m |
||
Line 16: | Line 16: | ||
{{Header | Activities}} | {{Header | Activities}} | ||
− | * I attended <span class="plainlinks">[http://fm2016.cs.ucy.ac.cy/ FM'16]</span>, hosted in Cyprus, and | + | * I attended <span class="plainlinks">[http://fm2016.cs.ucy.ac.cy/ FM'16]</span>, hosted in Cyprus, and gave a presentation talk there. |
{{Header | Publications}} | {{Header | Publications}} |
Revision as of 18:46, 26 April 2017
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 gave 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 Rachmaninoff's Piano Concerto No. 2.