マイケル・バトラー（コンピューター科学者）

マイケル・バトラー
マイケル・バトラー、2015年ロンドンの英国コンピュータ協会で講演
生まれる	アイルランド
国籍	アイルランド語
母校	トリニティ・カレッジ、ダブリン ウルフソン・カレッジ、オックスフォード
知られている	B方式
科学者としてのキャリア
フィールド	コンピュータサイエンス、ソフトウェアエンジニアリング、形式手法
機関	サウサンプトン大学
論文	アクションシステムへのCSPアプローチ （1992）
博士課程の指導教員	キャロル・モーガン
Webサイト	www.ecs.soton.ac.uk/people/mjb

マイケル・J・バトラーはアイルランドのコンピューター科学者です。2022年現在、彼はイギリスのサウサンプトン大学でコンピューターサイエンスの教授および工学・物理科学学部の学部長を務めています。

バトラーはアイルランド生まれ。1988年にダブリン大学トリニティ・カレッジでコンピュータサイエンスの学士号を取得。その後、オックスフォード大学プログラミング研究グループで修士号（1989年）と博士号（1992年）を取得し、^[1]順次プロセスの通信の分野で働いた。その後、ダブリンのブロードコムと、フィンランドのトゥルクにあるオーボアカデミー大学でラルフ・ヨハン・バックとともにリファインメント計算に取り組んだ。1995年にサウサンプトン大学に講師として加わり、2000年に講師、同年に教授に昇進。サウサンプトン大学電子工学・コンピュータサイエンス学部のディペンダブルシステム＆ソフトウェアエンジニアリンググループを率いた（2022年現在活動休止中）。^[2]

彼の主な研究は、 Bメソッド（J.-R. Abrialが考案）の分野であり、特にProB（Bの高度なモデルチェックで、Rodin/EclipseプラットフォームでのEvent-Bマシンのシミュレーションを可能にする）、U2B（UMLとB）、csp2B（CSPとB）、およびEvent-B用のRODINツールセット^[3]などのツールサポートです。^{[4] [5]}

• ホームページ
• 大学公式ウェブページ
• Google Scholar プロフィール