Zhiming Liu (informatyk)

W przypadku innych zastosowań patrz Liu Zhiming .

Zhiming Liu
Prof. Zhiming Liu w Oksfordzie , Anglia, 2015.
Urodzić się	( 10.10.1961 ) 10 października 1961 Hebei , Chiny
Narodowość	chiński
Obywatelstwo	brytyjski
Alma Mater	Luoyang , Chińska Akademia Nauk , Uniwersytet w Warwick
Znany z	rCOS
Kariera naukowa
Instytucje	University of Leicester , UNU-IIST , Birmingham City University , Southwest University
Doradca doktorski	Mateusz Józef
Wpływy	Zhou Chaochen , He Jifeng , Anders P. Ravn

Zhiming Liu ( chiński : 刘志明 , urodzony 10 października 1961, Hebei , Chiny) jest informatykiem . Studiował matematykę w Luoyang , Henan w Chinach i uzyskał pierwszy stopień w 1982 roku. Posiada tytuł magistra informatyki w Instytucie Oprogramowania Chińskiej Akademii Nauk (1988) oraz stopień doktora Uniwersytetu w Warwick (1988 ). 1991). Jego praca doktorska była w toku Programowanie odporne na uszkodzenia przez transformacje .

Po uzyskaniu doktoratu Zhiming Liu pracował jako naukowiec gościnny na Wydziale Informatyki Duńskiego Uniwersytetu Technicznego w Lyngby w latach 1991–1992. Następnie wrócił na University of Warwick i pracował jako pracownik naukowy podoktorancki nad formalnymi technikami czasu rzeczywistego i systemami odpornymi na błędy do października 1994 roku, kiedy to został wykładowcą uniwersyteckim informatyki na Uniwersytecie w Leicester (Wielka Brytania). Pracował w UNU-IIST w latach 2002-2013 w UNU-IIST jako pracownik naukowy i starszy pracownik naukowy. On dołaczył Birmingham City University (Wielka Brytania) w październiku 2013 jako profesor inżynierii oprogramowania. W 2016 roku przeniósł się na nowe stanowisko profesorskie na Southwest University w Chongqing w Chinach, dzięki finansowaniu z programu Tysiąca Talentów .

Główne zainteresowania badawcze Zhiminga Liu dotyczą formalnych metod projektowania systemów komputerowych, w tym systemów czasu rzeczywistego, systemów fault-tolerant , systemów obiektowych i komponentów . Wyniki jego badań zostały opublikowane w głównych czasopismach i na konferencjach. Jego wspólna praca z Mathai Josephem nad tolerancją błędów daje formalny model, który precyzyjnie definiuje pojęcia błędu , błędu , niepowodzenia i tolerancji błędów i ich relacje. Podaje również właściwości modeli programów dotkniętych błędami i programów odpornych na błędy w zakresie transformacji modeli. Zaproponowali proces projektowania systemów odpornych na awarie na podstawie specyfikacji i analizy wymagań, identyfikacji i analizy środowiska błędów, specyfikacji projektu dotkniętego awariami oraz weryfikacji odporności na awarie w celu spełnienia specyfikacji wymagań. We współpracy z Zhou Chaochenem i Andersem Ravnem i in. opracował także probabilistyczny rachunek czasu trwania do analizy niezawodności systemu. Jego ostatnia praca z He Jifeng i Xiaoshan Li na temat teorii semantyki rCOS i udoskonalania projektowania zorientowanego obiektowo i opartego na komponentach jest rozwijany w metodę z obsługą narzędzi do tworzenia oprogramowania opartego na komponentach i modelach .

Zhiming Liu jest założycielem International Colloquium on Theoretical Aspects of Computing (ICTAC), International Symposium on Formal Aspects of Component Software (FACS) oraz International Symposium on Foundations of Health Information Engineering and systems (FHIES). Pełnił funkcję przewodniczącego PC na wielu konferencjach i członków PC na wielu konferencjach. Redagował również szereg książek.

Zhiming Liu jest żonaty z Hong Zhao i ma dwóch synów, Kim Chang Liu i Edwarda Tanze Liu.

Linki zewnętrzne

• Strona główna Southwest University
• Strona główna UNU-IIST na Archive.org
• Zhiming Liu na serwerze bibliograficznym DBLP
• Zhiming Liu indeksowane przez Google Scholar