Zhiming Liu (computer scientist)
| Zhiming Liu | |
|---|---|
|
|
| Born |
10 October 1961 Hebei Province, China |
| Residence | Chongqing, China |
| Citizenship | British |
| Nationality | Chinese |
| Institutions | University of Leicester, UNU-IIST, Birmingham City University, Southwest University |
| Alma mater | Luoyang, Chinese Academy of Sciences, University of Warwick |
| Doctoral advisor | Mathai Joseph |
| Known for | rCOS |
| Influences | Zhou Chaochen, He Jifeng |
Prof. Zhiming Liu (Chinese: 刘志明, born 10 October 1961, Hebei Province, China) is a computer scientist. He studied mathematics in Luoyang, Henan Province in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on Fault-Tolerant Programming by Transformations.
After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral research fellow on formal techniques in real-time and fault-tolerant systems till October 1994 when he became a university lecturer in Computer Science at the University of Leicester (UK). He worked at UNU-IIST during 2002–2013 at UNU-IIST as Research fellow and Senior Research Fellow. He joined Birmingham City University (UK) in October 2013 as the Professor of Software Engineering. In 2016, he moved to a new professorial post at Southwest University in Chongqing, China, with funding through the Thousand Talents Program.
...
Wikipedia