Чжимин Лю ( кит .刘志明, родился 10 октября 1961 года, Хэбэй , Китай) — учёный-компьютерщик . Он изучал математику в Лояне , Хэнань в Китае и получил свою первую учёную степень в 1982 году. Он имеет степень магистра в области компьютерных наук Института программного обеспечения Китайской академии наук (1988) и степень доктора философии Университета Уорика (1991). Его докторская диссертация была посвящена отказоустойчивому программированию с помощью преобразований .
После получения докторской степени Чжимин Лю работал приглашенным ученым на кафедре компьютерных наук Датского технического университета в Лингбю в 1991–1992 годах. Затем он вернулся в Уорикский университет и работал научным сотрудником по формальным методам в реальном времени и отказоустойчивым системам до октября 1994 года, когда он стал преподавателем университета по компьютерным наукам в Университете Лестера (Великобритания). Он работал в UNU-IIST в течение 2002–2013 годов в UNU-IIST в качестве научного сотрудника и старшего научного сотрудника. Он присоединился к Бирмингемскому городскому университету (Великобритания) в октябре 2013 года в качестве профессора программной инженерии. В 2016 году он перешел на новую профессорскую должность в Юго-Западном университете в Чунцине, Китай, при финансировании через программу «Тысяча талантов» .
Основной исследовательский интерес Чжимина Лю лежит в области формальных методов проектирования компьютерных систем, включая системы реального времени, отказоустойчивые системы , объектно-ориентированные и компонентные системы. Результаты его исследований были опубликованы в основных журналах и на конференциях. [1] Его совместная работа с Матаем Джозефом по отказоустойчивости дает формальную модель, которая точно определяет понятия отказа , ошибки , сбоя и отказоустойчивости , а также их отношения. Она также дает свойства, которые моделируют программы, подверженные сбоям, и отказоустойчивые программы с точки зрения преобразований моделей. Они предложили процесс проектирования отказоустойчивых систем из спецификаций требований и анализа, идентификации и анализа среды сбоев, спецификации конструкции, подверженной сбоям, и проверки отказоустойчивости для удовлетворения спецификации требований. В сотрудничестве с Чжоу Чаочэнем и Андерсом Равном и др. он также разработал вероятностное исчисление длительности для анализа надежности системы. Его недавняя работа с Хэ Цзифэном и Сяошанем Ли по теории семантики rCOS и усовершенствованию объектно-ориентированного и компонентного проектирования развивается в метод с инструментальной поддержкой для разработки программного обеспечения на основе компонентов и моделей . [2]
Чжимин Лю является основателем Международного коллоквиума по теоретическим аспектам вычислений (ICTAC), [3] Международного симпозиума по формальным аспектам компонентного программного обеспечения (FACS) [4] и Международного симпозиума по основам инженерии и систем медицинской информации (FHIES). [5] Он был председателем ПК на ряде конференций и членом ПК на ряде конференций. [6] Он также отредактировал ряд книг.
Чжимин Лю женат на Хун Чжао, у них двое сыновей: Ким Чан Лю и Эдвард Танзе Лю. [ необходима цитата ]