El profesor Zhiming Liu ( chino :刘志明, nacido el 10 de octubre de 1961, Hebei , China) es un científico informático . Estudió matemáticas en Luoyang , Henan en China y obtuvo su primer título en 1982. Tiene una maestría en Ciencias de la Computación del Instituto de Software de la Academia China de Ciencias (1988) y un doctorado de la Universidad de Warwick ( 1991). Su tesis doctoral fue sobre programación tolerante a fallas por transformaciones .
Después de su doctorado, Zhiming Liu trabajó como científico invitado en el Departamento de Ciencias de la Computación de la Universidad Técnica de Dinamarca , Lyngby en 1991–1992. Luego regresó a la Universidad de Warwick y trabajó como investigador postdoctoral en técnicas formales en tiempo real y sistemas tolerantes a fallas hasta octubre de 1994 cuando se convirtió en profesor universitario de Ciencias de la Computación en la Universidad de Leicester (Reino Unido). Trabajó en UNU-IIST durante 2002–2013 en UNU-IIST como investigador y miembro principal de investigación. Se incorporó a la Universidad de la Ciudad de Birmingham(Reino Unido) en octubre de 2013 como profesor de ingeniería de software. En 2016, se trasladó a un nuevo puesto de profesor en Southwest University en Chongqing, China, con financiación a través del Programa de los Mil Talentos .
Interés en la investigación principal de Zhiming Liu es en las áreas de métodos formales de diseño de sistemas informáticos, incluyendo sistemas de tiempo real, sistemas tolerantes a fallos , orientado a objetos y basadas en componentes de sistemas. Los resultados de su investigación se han publicado en revistas y conferencias convencionales. [1] Su trabajo conjunto con Mathai Joseph sobre tolerancia a fallas proporciona un modelo formal que define con precisión las nociones de falla , error , falla y tolerancia a fallas., y sus relaciones. También proporciona las propiedades de los modelos de programas afectados por fallas y programas tolerantes a fallas en términos de transformaciones de modelos. Propusieron un proceso de diseño para sistemas tolerantes a fallas a partir de especificaciones y análisis de requisitos, identificación y análisis del entorno de fallas, especificación del diseño afectado por fallas y verificación de tolerancia a fallas para el cumplimiento de la especificación de requisitos. En colaboración con Zhou Chaochen y Anders Ravn , et al., También desarrolló un cálculo de duración probabilístico para el análisis de confiabilidad del sistema. Su trabajo reciente con He Jifeng y Xiaoshan Li sobre la teoría rCOS de la semántica y el refinamiento de la orientación a objetosy el diseño basado en componentes se está convirtiendo en un método con soporte de herramientas para el desarrollo de software basado en componentes y dirigido por modelos . [2]
Zhiming Liu es el fundador del Coloquio Internacional sobre Aspectos Teóricos de la Computación (ICTAC), [3] el Simposio Internacional sobre Aspectos Formales del Software de Componentes (FACS), [4] y el Simposio Internacional sobre Fundamentos de Ingeniería y Sistemas de Información en Salud (FHIES) . [5] Se ha desempeñado como presidente de PC para varias conferencias y miembros de PC de varias conferencias. [6] También ha editado varios libros.
Zhiming Liu está casada con Hong Zhao y tiene dos hijos, Kim Chang Liu y Edward Tanze Liu. [ cita requerida ]