ケン・ロビンソン（コンピューター科学者）

ケネス・アーサー・ロビンソン
ケン・ロビンソン
生まれる	( 1938-07-30 )1938年7月30日 オーストラリア
死亡	2020年9月5日(2020-09-05)（享年82歳） シドニー、オーストラリア
母校	シドニー大学（オーストラリア）
知られている	ソフトウェア工学、形式手法、Bメソッド
受賞歴	ニューサウスウェールズ大学副学長優秀教育賞（1990年）
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	ニューサウスウェールズ大学（オーストラリア）

ケネス・アーサー・ロビンソン（1938年7月30日 - 2020年9月5日）は、オーストラリアのコンピューター科学者である。^{[1] [2]彼は「}オーストラリアの形式手法の父」と呼ばれている。^[3]

ケン・ロビンソンは1938年に生まれました。1959年にシドニー大学で電気工学の学士号を取得し、 1961年には物理学と数学の学士号を取得しました。^[要出典]

ロビンソンは1965年から2012年までニューサウスウェールズ大学（UNSW）に勤務し、最初はマレー・アレン教授の下、電子計算学科に在籍した。 ^[1] 1987年から1989年にかけてはコンピュータサイエンス学科長、1996年から2000年にかけてはソフトウェア工学学科長を務めた。英国ではサウサンプトン大学（1978年〜1979年）、オックスフォード大学プログラミング研究グループのウルフソン・カレッジ客員研究員（1985年〜1986年）、オックスフォード大学コンピューティング研究所およびBコア（1999年）、ロイヤル・ホロウェイ・カレッジ（ロンドン大学）およびサリー大学（2003年）で客員職を歴任した。^[2]

1971年、ロビンソンのコンピュータサイエンスのコースには、ALGOL W（スタンフォード大学）、WATFOR （ウォータールー大学のFORTRANの学生版）、Plago（ブルックリンの学生向けPL/I）、SNOBOL（ベル研究所）、IBM System/360アセンブリ言語が含まれていました。^[3]後者では、IBMアセンブラは学生が使用するには遅すぎた ため、ロビンソンが書いたアセンブラプログラムが使用されました。

1974年、UNSWのコンピュータサイエンス学部は、教育と管理に使用されていたデジタルイクイップメントコーポレーションのPDP-11 /40ミニコンピュータを導入しました。ケン・ロビンソンはベル研究所のデニス・リッチーにUnixオペレーティングシステムのコピーを要求する手紙を送りました。これは1975年に届き、UNSWは米国外でUnixを定期的に実行する最初の大学となりました。 ^[1]

ロビンソンのその後の研究と教育は、特に形式手法、特にB法、イベントB、ロダンツールに集中した。^[3]

ロビンソンは、UNSW で最初のBEソフトウェア エンジニアリング プログラムを設計し、その後プログラム コーディネーターを務めました。また、BE コンピュータ エンジニアリング プログラムも開始しました。1990 年には、ニューサウスウェールズ大学副学長から優れた教育賞を受賞しました。^[1]

ロビンソンは2020年9月5日に亡くなりました。彼は結婚していて、家族がいました。

• Morgan, CC ; Robinson, KA (1987年9 月)。「仕様記述と改良」。IBM Journal of Research and Development。31 ( 5): 546–555。doi :10.1147/rd.315.0546。
• Carrington, DA; Robinson, KA (1991 年 1 月)。「2 つのグラフ問題の改良」。Morris, Joseph M.、Shaw, Roger C. (編)。第 4 回改良ワークショップ。Workshops in Computing。Springer -Verlag。pp . 241–257。
• Bert, Didier、Bowen, Jonathan P.、Henson , Martin C. 、 Robinson, Ken、編 (2002)。ZB 2002: Z および B での形式仕様と開発。Lecture Notes in Computer Science。第 2272 巻。Springer。ISBN 3-540-43166-7。
• Schneider, Steve A. ; Hoang, Thai Son; Robinson, Ken; Treharne, Helen (2006). 「タンク監視: pAMN のケーススタディ」(PDF) . Formal Aspects of Computing . 18 (3): 308–328. doi :10.1007/s00165-006-0004-5. S2CID  93435.

• ソフトウェア エンジニアリング プログラム提案の理由 (Ken Robinson、UNSW 1990 年代)
• UNSW での 40 年間と CSE の誕生、専門分野の探求 (ケン・ロビンソン、UNSW、2011 年 1 月 28 日)
• コンピュータサイエンスとエンジニアリングのタイムライン草案 1955 – 2007、改訂日: 3 月 19 日 19:43 (Ken Robinson、UNSW、2007 年 3 月 19 日)
• コンピュータ エンジニアリング プログラムが必要な理由 (ケン ロビンソン、UNSW、1988 年頃)

• ニューサウスウェールズ大学コンピュータサイエンス工学部