Difference between revisions of "Xiaohong Chen"
Line 23: | Line 23: | ||
proof system working with matching logic, (in other words, a matching logic prover), is not only feasible but promising. | 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 [[research diary]]. | + | I keep updating my research progress in my [[Xiaohong%27s_Research_Diary | research diary]]. |
Revision as of 05:14, 5 October 2016
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 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 updating 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)