ケン・ロビンソン（コンピューター科学者）
オーストラリアのコンピューター科学者（1938年～2020年）

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

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

幼少期と教育

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

キャリア

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

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

1974年、ニューサウスウェールズ大学のコンピュータサイエンス学科は、教育と管理業務にデジタル・イクイップメント・コーポレーション製のPDP-11 /40ミニコンピュータを導入していました。ケン・ロビンソンはベル研究所のデニス・リッチーにUNIXオペレーティングシステムのコピーを要請する手紙を送りました。UNIXオペレーティングシステムは1975年に届き、ニューサウスウェールズ大学は米国外で初めて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.
  • バート・ディディエ、ボーエン・ジョナサン・P、ヘンソン・マーティン・C、ロビンソン・ケン編 (2002). ZB 2002: ZとBにおける形式仕様と開発.コンピュータサイエンス講義ノート. 第2272巻 .シュプリンガー. 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.

オンライン

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

参照

参考文献

  1. ^ abcd “Remembering Ken Robinson”. オーストラリア：ニューサウスウェールズ大学コンピュータサイエンス・エンジニアリング学部. 2020年9月18日. 2020年10月20日時点のオリジナルよりアーカイブ。 2020年10月20日閲覧。
  2. ^ ab ロビンソン、ケン (2016). 「ケネス・アーサー・ロビンソン」. CV .
  3. ^ abc 「ケン・ロビンソン – 追悼」(PDF) . FACS FACTS . 第1巻 . BCS-FACS . 2021年2月 . pp.  26– 31 . 2021年3月28日閲覧。
「https://en.wikipedia.org/w/index.php?title=Ken_Robinson_(computer_scientist)&oldid=1179841395」より取得