IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


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