Чжимин Лю (ученый-компьютерщик)

Чжимин Лю
Чжимин Лю
	Профессор Чжимин Лю в Оксфорде , Англия, 2015 г.
Рожденный	10 октября 1961 г. (62 года) ; Хэбэй , Китай
Национальность	китайский
Гражданство	Британский
Альма-матер	Лоян , Китайская академия наук , Уорикский университет
Известный	rCOS
	Научная карьера
Учреждения	Университет Лестера , УООН-МИСТ , Городской университет Бирмингема , Юго-Западный университет
Докторантура	Матай Джозеф

Чжимин Лю ( китайский : 刘志明 , родился 10 октября 1961 года, Хэбэй , Китай) — учёный-компьютерщик . Он изучал математику в Лояне , провинция Хэнань, Китай, и получил свою первую степень в 1982 году. Он имеет степень магистра компьютерных наук Института программного обеспечения Китайской академии наук (1988 год) и степень доктора философии Уорикского университета (1988 год). 1991). Его докторская диссертация была посвящена отказоустойчивому программированию посредством преобразований .

После получения докторской степени Чжимин Лю работал в качестве приглашенного ученого на факультете компьютерных наук Датского технического университета в Люнгбю в 1991–1992 годах. Затем он вернулся в Уорикский университет и работал научным сотрудником в области формальных методов реального времени и отказоустойчивых систем до октября 1994 года, когда он стал преподавателем информатики в Университете Лестера (Великобритания). В 2002–2013 годах работал в УООН -МИП в качестве научного сотрудника и старшего научного сотрудника. Он присоединился к Бирмингемскому городскому университету (Великобритания) в октябре 2013 года в качестве профессора разработки программного обеспечения. В 2016 году он перешел на новую профессорскую должность в Юго-Западный университет в Чунцине, Китай, при финансировании в рамках программы «Тысяча талантов» .

Основной исследовательский интерес Чжимин Лю находится в области формальных методов проектирования компьютерных систем, включая системы реального времени, отказоустойчивые системы , объектно-ориентированные и компонентные системы. Результаты его исследований были опубликованы в ведущих журналах и на конференциях. ^[1] Его совместная работа с Матаем Джозефом в работе по отказоустойчивости дает формальную модель, которая точно определяет понятия сбоя , ошибки , сбоя и отказоустойчивости , а также их отношения. Это также придает свойства моделям отказоустойчивых программ и отказоустойчивых программ с точки зрения преобразований моделей. Они предложили процесс проектирования отказоустойчивых систем, включающий в себя спецификации и анализ требований, идентификацию и анализ среды ошибок, спецификацию отказоустойчивого проекта и проверку отказоустойчивости для удовлетворения спецификации требований. В сотрудничестве с Чжоу Чаочэнем , Андерсом Равном и др. он также разработал вероятностное исчисление продолжительности для анализа надежности системы. Его недавняя работа с Хэ Цзифэном и Сяошань Ли над rCOS теорией семантики и усовершенствованием объектно-ориентированного и компонентного проектирования превращается в метод с инструментальной поддержкой для разработки программного обеспечения на основе компонентов и моделей . ^[2]

Чжимин Лю — основатель Международного коллоквиума по теоретическим аспектам вычислений (ICTAC). ^[3] Международный симпозиум по формальным аспектам компонентного программного обеспечения (FACS), ^[4] и Международный симпозиум по основам информационной инженерии и систем здравоохранения (FHIES). ^[5] Он был председателем ПК на ряде конференций и членом ПК на ряде конференций. ^[6] Он также отредактировал ряд книг.

Чжимин Лю женат на Хун Чжао, у него двое сыновей, Ким Чан Лю и Эдвард Танцзе Лю. ^{[ нужна ссылка ]}

Ссылки

^ Публикации Лю Чжиминга. Архивировано 8 марта 2007 г. в Wayback Machine , UNU-IIST , Макао.
^ rCOS. Архивировано 11 декабря 2007 г. в Wayback Machine , UNU-IIST , Макао.
↑ Международный коллоквиум по теоретическим аспектам вычислений. Архивировано 22 февраля 2007 г. в Wayback Machine.
^ Международный симпозиум по формальным аспектам компонентного программного обеспечения. Архивировано 9 июня 2007 г. в Wayback Machine.
^ Международный симпозиум по основам информационной инженерии и систем здравоохранения. Архивировано 15 июня 2012 г. в Wayback Machine.
↑ Членство в ПК. Архивировано 17 сентября 2006 г. в Wayback Machine , Лю Чжимминг, UNU-IIST.

Внешние ссылки

Домашняя страница Юго-Западного университета
Домашняя страница УООН-МИП — Archive.org.
Чжимин Лю на DBLP библиографическом сервере
Публикации Чжимина Лю , проиндексированные Google Scholar

[1] Публикации Лю Чжиминга. Архивировано 8 марта 2007 г. в Wayback Machine , UNU-IIST , Макао.

[2] rCOS. Архивировано 11 декабря 2007 г. в Wayback Machine , UNU-IIST , Макао.

[3] Международный коллоквиум по теоретическим аспектам вычислений. Архивировано 22 февраля 2007 г. в Wayback Machine.

[4] Международный симпозиум по формальным аспектам компонентного программного обеспечения. Архивировано 9 июня 2007 г. в Wayback Machine.

[5] Международный симпозиум по основам информационной инженерии и систем здравоохранения. Архивировано 15 июня 2012 г. в Wayback Machine.

[6] Членство в ПК. Архивировано 17 сентября 2006 г. в Wayback Machine , Лю Чжимминг, UNU-IIST.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БНФ Германия Израиль Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика ОРЦИД
Другой	ИдРеф