Джиминг Лю (информатик) - Zhiming Liu (computer scientist)

Джиминг Лю
Zhiming Liu.jpg
Профессор Чжиминг Лиу Оксфорд, Англия, 2015 ж.
Туған (1961-10-10) 10 қазан 1961 ж (59 жас)
Хэбэй, Қытай
ҰлтыҚытай
АзаматтықБритандықтар
Алма матерЛоян, Қытай ғылым академиясы, Уорвик университеті
БелгіліrCOS
Ғылыми мансап
МекемелерЛестер университеті, UNU-IIST, Бирмингем қаласының университеті, Оңтүстік-батыс университеті
Докторантура кеңесшісіМатай Джозеф
Әсер етедіЧжоу Чаочен, Ол Джифенг, Андерс П. Равн

Проф. Джиминг Лю (Қытай : 刘志明, 1961 жылы 10 қазанда туған, Хэбэй, Қытай) болды информатик. Ол оқыды математика жылы Лоян, Қытайда Хэнань және алғашқы дәрежесін 1982 жылы алған. Ол магистр дәрежесін иеленген Информатика бастап Бағдарламалық қамтамасыз ету институты туралы Қытай ғылым академиясы (1988) және PhD докторы дәрежесі Уорвик университеті (1991). Оның кандидаттық диссертациясы аяқталды Ақауларға төзімді бағдарламалау.

PhD докторантурасынан кейін Цзимин Лю информатика кафедрасында қонақ ретінде жұмыс істеді, Данияның техникалық университеті, Лингби 1991–1992 жж. Содан кейін ол Уорвик университетіне оралды және ресми техникада докторантурадан кейінгі ғылыми қызметкер болып жұмыс істеді шынайы уақыт және ақаулыққа төзімді 1994 жылдың қазан айына дейін ол университетте оқытушы болғанға дейін Информатика кезінде Лестер университеті (Ұлыбритания). Ол жұмыс істеді UNU-IIST 2002–2013 жылдар аралығында UNU-IIST-те ғылыми қызметкер және аға ғылыми қызметкер ретінде. Ол қосылды Бирмингем қаласының университеті (Ұлыбритания) 2013 жылдың қазан айында бағдарламалық қамтамасыз ету инженері ретінде. 2016 жылы ол жаңа профессорлық постқа ауысты Оңтүстік-батыс университеті арқылы қаржыландырумен Қытайдың Чунцин қаласында «Мың талант» бағдарламасы.

Джиминг Людің негізгі ғылыми қызығушылығы - бағыттар формальды әдістер нақты уақыт жүйелерін қоса есептегенде компьютерлік жүйелерді жобалау, ақаулыққа төзімді жүйелер, объектіге бағытталған және компоненттерге негізделген жүйелер. Оның зерттеу нәтижелері негізгі журналдарда және конференцияларда жарияланған.[1] Оның бірлескен жұмысы Матай Джозеф жұмыс ақаулыққа төзімділік ұғымдарын дәл анықтайтын формальды модель береді Кінә, қате, сәтсіздік және ақаулыққа төзімділікжәне олардың қатынастары. Ол сондай-ақ ақауларға ұшыраған бағдарламалардың және ақауларға төзімді бағдарламалардың модель түрлендірулеріне қатысты қасиеттерін береді. Олар ақауларға төзімді жүйелерді талаптардың сипаттамалары мен талдауларынан, ақаулар ортасын анықтау мен талдауынан, ақауларға ұшыраған жобалаудың ерекшеліктерінен және талаптардың ерекшеліктерін қанағаттандыру үшін ақауларға төзімділігін тексеруден жобалау процесін ұсынды. Ынтымақтастықта Чжоу Чаочен және Андерс Равн, және т.б., ол сонымен бірге Ықтималдықты дамытты Ұзақтығы жүйенің сенімділігін талдау үшін. Оның соңғы жұмысы Ол Джифенг және Сяошан Ли rCOS семантиканың теориясы және объектіге бағытталған және компоненттерге негізделген дизайн құралы қолдауымен әдіске айналуда компоненттерге негізделген және модельге негізделген бағдарламалық жасақтама жасау.[2]

Цзиминг Лю - есептеудің теориялық аспектілері бойынша халықаралық коллоквиумның (ICTAC) негізін қалаушы,[3] Компоненттік бағдарламалық жасақтаманың формальды аспектілері бойынша халықаралық симпозиум (FACS),[4] және денсаулық сақтаудың ақпараттық инженерлері мен жүйелерінің (FHIES) негіздеріне арналған халықаралық симпозиум.[5] Ол бірқатар конференциялар үшін ДК төрағасы және бірқатар конференциялардың ДК мүшелері болып қызмет етті.[6] Ол сонымен қатар бірқатар кітаптарды редакциялады.

Цзимин Лю Хон Чжаомен Ким Чан Лю және Эдвард Танцзе Лю атты екі ұлмен үйленген.[дәйексөз қажет ]

Пайдаланылған әдебиеттер

Сыртқы сілтемелер