Zhiming Liu (computer scientist) とは

Zhiming Liu教授(中国:刘志明、1961年10月10日生まれ、中国河北省)はコンピュータ科学者です。中国河南省洛陽で数学を学び、1982年に学士号を取得した。中国科学アカデミーソフトウェア研究所(1988年)からコンピュータサイエンスの修士号を取得し、ワーウィック大学(PhD) 1991)。彼の博士論文は、フォールトトレラントプログラミングによるものでした。
博士後、Zhiming Liuは1991-1992年にデンマーク工科大学コンピュータサイエンス学科のゲスト科学者として活躍。その後、Warwick大学に戻り、1994年10月にレスター大学(英国)でコンピューターサイエンスの大学講師に就任した後、リアルタイムおよびフォールトトレラントシステムの正式技術に関するポスドク研究員として勤務しました。同氏は、2002〜2013年にUNU-IISTで研究員および上級研究員としてUNU-IISTに勤務しました。彼はソフトウェアエンジニアリングの教授として2013年10月にバーミンガムシティ大学(英国)に入社しました。 2016年には、中国の重慶(Chongqing)にあるサウスウェスト大学(Southwest University)の新しい教授陣に移り、サウザンド・タレント・プログラムを通じて資金を提供しました。
Zhiming Liuの主な研究関心は、リアルタイムシステム、フォールトトレラントシステム、オブジェクト指向システム、コンポーネントベースシステムなど、コンピュータシステム設計の正式な方法の分野です。彼の研究成果は、主流の雑誌や会議で発表されています。フォールトトレランスに関するMathai Josephとの共同作業は、フォールト、エラー、失敗、フォールトトレランス、およびそれらの関係の概念を正確に定義する正式なモデルを提供します。また、モデル変換の観点からフォールトに影響されたプログラムおよびフォールトトレラントプログラムのモデルを作成するプロパティも提供します。彼らは、要件仕様と解析、障害環境の識別と解析、障害影響を受けた設計の仕様、要求仕様の満足に対するフォールトトレランスの検証からフォールトトレラントシステムの設計プロセスを提案した。 Zhou ChaochenおよびAnders Ravnらと共同で、彼はまた、システム依存性分析のための確率的持続時間微積分を開発した。彼の最近のHe JifengとXiaoshan Liのセマンティクスとオブジェクト指向およびコンポーネントベースの設計のrCOS理論に関する彼の最近の研究は、コンポーネントベースおよびモデル駆動型ソフトウェア開発のためのツールをサポートする方法に発展しています。
Zhiming Liuは、コンピューティングの理論的側面(ICTAC)に関する国際コロキウム、コンポーネントソフトウェアの正式な側面に関する国際シンポジウム(FACS)、健康情報工学とシステムの基礎に関する国際シンポジウム(FHIES)の創設者です。彼は、数多くの会議やPCメンバーのPCチェアとして活躍してきました。彼はまたいくつかの本を編集している。
Zhuing Liuは2人の息子Kim Chang LiuとEdward Tanze LiuとHong Zhaoと結婚しています。