Zhiming Liu (počítačový vědec) - Zhiming Liu (computer scientist)

Zhiming Liu
Zhiming Liu.jpg
Prof. Zhiming Liu v Oxford, Anglie, 2015.
narozený (1961-10-10) 10. října 1961 (věk 59)
Hebei, Čína
Národnostčínština
Státní občanstvíbritský
Alma materLuoyang, Čínská akademie věd, University of Warwick
Známý jakorCOS
Vědecká kariéra
InstituceUniversity of Leicester, UNU-IIST, Birmingham City University, Jihozápadní univerzita
Doktorský poradceMathai Joseph
VlivyZhou Chaochen, On Jifeng, Anders P. Ravn
Pro další použití viz Liu Zhiming.

Prof. Zhiming Liu (čínština : 刘志明, narozen 10. října 1961, Hebei, Čína) byl a počítačový vědec. Studoval matematika v Luoyang, Henan v Číně a svůj první titul získal v roce 1982. Je držitelem magisterského titulu v oboru Počítačová věda z Ústav softwaru z Čínská akademie věd (1988) a doktorát z University of Warwick (1991). Jeho disertační práce pokračovala Programování odolné proti chybám transformacemi.

Po ukončení doktorského studia pracoval Zhiming Liu jako vědecký pracovník na katedře výpočetní techniky, Technická univerzita v Dánsku, Lyngby v letech 1991–1992. Poté se vrátil na University of Warwick a pracoval jako postdoktorandský vědecký pracovník formálních technik v USA reálný čas a tolerantní k chybám systémy do října 1994, kdy se stal vysokoškolským pedagogem v oboru Počítačová věda na University of Leicester (SPOJENÉ KRÁLOVSTVÍ). Pracoval v UNU-IIST v letech 2002–2013 na UNU-IIST jako vědecký pracovník a vedoucí vědecký pracovník. Přidal se Birmingham City University (UK) v říjnu 2013 jako profesor softwarového inženýrství. V roce 2016 přešel na nové profesorské místo v Jihozápadní univerzita v čínském Chongqingu s financováním prostřednictvím Program Tisíc talentů.

Hlavní výzkumný zájem společnosti Zhiming Liu je v oblastech formální metody návrhu počítačových systémů, včetně systémů v reálném čase, systémy odolné vůči chybám, objektově orientovaný a na bázi komponent systémy. Jeho výsledky výzkumu byly publikovány v běžných časopisech a konferencích.[1] Jeho společná práce s Mathai Joseph pracovat na odolnost proti chybám dává formální model, který přesně definuje pojmy chyba, chyba, selhání a odolnost proti chybáma jejich vztahy. Poskytuje také vlastnosti, které modely programů postižených chybami a programy odolné vůči chybám z hlediska transformací modelů. Navrhli proces návrhu systémů odolných proti poruchám ze specifikací a analýz požadavků, identifikace a analýzy poruchového prostředí, specifikace návrhu ovlivněného poruchami a ověření tolerance poruch pro splnění specifikace požadavků. Ve spolupráci s Zhou Chaochen a Anders Ravn, et al., on také vyvinul pravděpodobnostní Počítadlo trvání pro analýzu spolehlivosti systému. Jeho nedávná práce s On Jifeng a Xiaoshan Li na internetu rCOS teorie sémantiky a upřesnění objektově orientovaný a komponentní design se vyvíjí v metodu s podporou nástrojů pro na bázi komponent a modelový vývoj softwaru.[2]

Zhiming Liu je zakladatelem Mezinárodního kolokvia o teoretických aspektech práce na počítači (ICTAC),[3] Mezinárodní symposium o formálních aspektech komponentového softwaru (FACS),[4] a Mezinárodní sympozium o základech zdravotnického informačního inženýrství a systémů (FHIES).[5] Působil jako předseda PC na řadě konferencí a jako člen PC na řadě konferencí.[6] Vydal také řadu knih.

Zhiming Liu je ženatý s Hong Zhao se dvěma syny, Kim Chang Liu a Edward Tanze Liu.[Citace je zapotřebí ]

Reference

  1. ^ Publikace Liu Zhiming Archivováno 8. Března 2007 v Wayback Machine, UNU-IIST, Macao.
  2. ^ rCOS Archivováno 11. Prosince 2007 v Wayback Machine, UNU-IIST, Macao
  3. ^ Mezinárodní kolokvium o teoretických aspektech práce na počítači Archivováno 22 února 2007 na Wayback Machine
  4. ^ Mezinárodní sympozium o formálních aspektech komponentového softwaru Archivováno 9. Června 2007 v Wayback Machine
  5. ^ Mezinárodní sympozium o základech zdravotnického informačního inženýrství a systémů Archivováno 15. června 2012 v Wayback Machine
  6. ^ PC členství Archivováno 17. září 2006 v Wayback Machine, Liu Zhimming, UNU-IIST.

externí odkazy