Difference between revisions of "Xiaohong Chen"
From FSL
m |
|||
Line 39: | Line 39: | ||
* I am a dan player of <span class="plainlinks">[https://en.wikipedia.org/wiki/Go_(game) the game of Go]</span>. | * I am a dan player of <span class="plainlinks">[https://en.wikipedia.org/wiki/Go_(game) the game of Go]</span>. | ||
* My favorite pieces of classical music include Beethoven's piano sonatas of Appassionata and Pathetique, and Rachmaninoff's Piano Concerto No. 2. | * My favorite pieces of classical music include Beethoven's piano sonatas of Appassionata and Pathetique, and Rachmaninoff's Piano Concerto No. 2. | ||
+ | * [How many Monitor Cables do I need?] | ||
{{Header | Links}} | {{Header | Links}} | ||
* [https://github.com/hreada Github] / [https://scholar.google.com/citations?user=4LP6Y64AAAAJ&hl=en Google Scholar] / [https://dblp.org/pid/02/1438-2 dblp] | * [https://github.com/hreada Github] / [https://scholar.google.com/citations?user=4LP6Y64AAAAJ&hl=en Google Scholar] / [https://dblp.org/pid/02/1438-2 dblp] | ||
* Some <span class="plainlinks">[https://terrytao.wordpress.com/advice-on-writing-papers/ advice on writing]</span> by <span class="plainlinks">[https://www.math.ucla.edu/~tao/ Terence Tao]</span>. | * Some <span class="plainlinks">[https://terrytao.wordpress.com/advice-on-writing-papers/ advice on writing]</span> by <span class="plainlinks">[https://www.math.ucla.edu/~tao/ Terence Tao]</span>. |
Revision as of 05:20, 23 December 2018
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 |
---|
Programming Languages, Program Semantics, Program Logic and Verification
Publications |
---|
- A Language-Independent Program Verification Framework, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)
- A Language-Independent Approach to Smart Contract Verification, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)
- Improving Probability Estimation Through Active Probabilistic Model Learning, Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)
- Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems, Sensors 2016, 16(11), 1810
- Towards concolic testing for hybrid systems, Proceedings of the 21st International Symposium on Formal Methods (FM'16)
- Model-Driven Design of Object and Component Systems, Chap. of The First International School on Engineering Trustworthy Software Systems
- 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)
Selective Awards |
---|
- Yunni & Maxine Pao Memorial Fellowship (2018-2019)
- China National Scholarship (2012-2013)
Activities |
---|
- The 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18), Cyprus
- Volunteered the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17), Illinois, USA
- The 21st International Symposium on Formal Methods (FM'16), Cyprus
- Marktoberdorf Summer School 2015, Marktoberdorf, Germany
- The 9th Theoretical Aspects of Software Engineering Conference (TASE'15), Nanjing, China
- Conference Paper Reviewer of FSCD'17, CALCO'17, HSCC'17, COORDINATION'16, SEFM'16, UTP'16, FACS'15
Quotes |
---|
- What can be said at all can be said clearly, and what we cannot talk about we must pass over in silence. --- Ludwig Wittgenstein.
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.
- [How many Monitor Cables do I need?]
Links |
---|
- Github / Google Scholar / dblp
- Some advice on writing by Terence Tao.