Professor. Dr.

Zhiming Liu

Faculty of Technology, Engineering and Environment
Birmingham City University
United Kingdom
Research topics: Unifying semantic theories of programming (UTP). Integrating techniques and tools for model-driven analysis, verification, correctness by design, model refinement/transformations. Component-based & OO modelling. Cyber-physical systems (CPS) Applications including healthcare, environment care, disaster management, etc. with big data, interoperability, advanced cyber security and privacy requirements. (updated at 2014-01-06)
http://www.bcu.ac.uk/tee/our-staff/ctn-staff/zhiming-liu