Xiaohong Chen



Xiaohong Chen (aka Hreada)  is a Ph.D. student under the supervision Professor Zhiming Liu and Professor Jonathan Bowen in the Centre for Software Engineering at the School of Computing, Telecommunication and Networks, Faculty of Computing Engineering and Telecommunication, Birmingham City University. He joined Birmingham City University on October 2014. He graduated with a bachelor's degree in Science from Peking University in July 2014. The research interests of Xiaohong are in theories, techniques and tools of component-based software modelling, design and verification.

Xiaohong's recent work has been on a semantic model for cyber-physical systems (CPS) components. The slides of a recent talk about this work can be found at ResearchGate. The work has been accepted by the 16th International Conference on Formal Engineering Methods (ICFEM 2014) held in November 2014 in Luxembourg.

Xiaohong is a big fan of Mathematica, a powerful computational software program developed by Wolfram Research. The latest version of Mathematica is Mathematica 10, released in 2014.

Xiaohong is interested in Go, an ancient Chinese board game with a history of 2,500 years. Go is unique and attractive, and there are many reasons why it is so. Unlike chess, Go is a game for human-beings, not for machines.