Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
m
m
Line 10: Line 10:
 
{{Header | Research Interests}}
 
{{Header | Research Interests}}
 
Programming Languages, Program Semantics, Program Logic and Verification
 
Programming Languages, Program Semantics, Program Logic and Verification
 
{{Header | Activities}}
 
* 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''
 
  
 
{{Header | Publications}}
 
{{Header | Publications}}
Line 25: Line 18:
 
* 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 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)''
 
* A hybrid model of connectors in cyber-physical systems, ''Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM'14)''
 +
 +
{{Header | Awards}}
 +
* Yunni & Maxine Pao Memorial Fellowship (2018-2019)
 +
 +
{{Header | Activities}}
 +
* 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''
  
 
{{Header | Quotes}}
 
{{Header | Quotes}}

Revision as of 05:17, 9 June 2018

Xiaohong Chen


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
  • 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)
Awards
  • Yunni & Maxine Pao Memorial Fellowship (2018-2019)
Activities
  • 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.
Links
Personal tools
Namespaces

Variants
Actions
Navigation