Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
 
(8 intermediate revisions by one user not shown)
Line 1: Line 1:
[[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]]
+
[[Image:Xiaohong-full.jpg|200px|Xiaohong Chen]]
  
 +
{{Header | Contact}}
 +
* xc3@illinois.edu
  
 
{{Header | Simple Biography}}
 
{{Header | Simple Biography}}
Line 9: Line 11:
  
 
{{Header | Research Interests}}
 
{{Header | Research Interests}}
Programming Languages, Program Semantics, Program Logic and Verification
+
* Programming Languages, Program Semantics, Program Logic and Verification
 +
* [http://www.matching-logic.org/index.php/Open_Problems Open Problems in Matching Logic]
  
 
{{Header | Publications}}
 
{{Header | Publications}}
* [[Matching mu-Logic | Matching mu-logic]], ''Technical Report http://hdl.handle.net/2142/102281'', 2019
+
* [[Matching mu-Logic | Matching mu-logic]], ''To appear in LICS'19
 
* [[A Language-Independent Program Verification Framework | 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 Program Verification Framework | 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 | 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)''
 
* [[A Language-Independent Approach to Smart Contract Verification | 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)''
Line 32: Line 35:
 
* Marktoberdorf Summer School 2015, Marktoberdorf, Germany
 
* Marktoberdorf Summer School 2015, Marktoberdorf, Germany
 
* The 9th Theoretical Aspects of Software Engineering Conference ''(TASE'15)'', Nanjing, China
 
* 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''
 
  
 
{{Header | Quotes}}
 
{{Header | Quotes}}

Latest revision as of 19:54, 13 September 2019

Xiaohong Chen

Contact
  • xc3@illinois.edu
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
Publications
  • Matching mu-logic, To appear in LICS'19
  • 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, Chapter 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)
Selected 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
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.
  • Young man, in mathematics you don't understand things. You just get used to them. --- John von Neumann.
Fun
Links
Personal tools
Namespaces

Variants
Actions
Navigation