Difference between revisions of "Xiaohong Chen"

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

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

@@ 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>.
 * 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}}
 * [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>.