リチャード・デミロ

リチャード・アラン・デミロ
リチャード・アラン・デミロ
生まれる	1947年1月26日（享年77歳）; ミネソタ州ヒビング
母校	セントトーマス大学; ジョージア工科大学
	科学者としてのキャリア
フィールド	コンピュータセキュリティ、ソフトウェアエンジニアリング、数学
博士課程の指導教員	ルシオ・キアラヴィリオ
博士課程の学生	ジェフ・オファット

リチャード・アラン・デミロ（1947年1月26日生まれ）は、アメリカのコンピュータ科学者、教育者、経営者です。彼はジョージア工科大学の教授であり、同大学のシャーロット・B・アンド・ロジャー・C・ウォーレン・コンピューティング学部長を務めています。

2009年、彼はジョージア工科大学のジョン・P・イムレイ・コンピューティング学部長を7年間務めた後、退任しました。高等教育の根本的な変革のための生きた実験室であるジョージア工科大学の21世紀大学センターを設立し、10年間その責任者を務めた後、コンピューティング学部のサイバーセキュリティおよびプライバシー学部を設立し、暫定学部長を務めました。

彼は2002年にジョージア工科大学に移り、それ以前はヒューレット・パッカード社で同社の初代最高技術責任者を務めていました。^[1]また、テルコルディア・テクノロジーズ（旧ベル・コミュニケーションズ・リサーチ）や国立科学財団でも幹部職を歴任しました。彼はコンピューターセキュリティ、ソフトウェア工学、数学の分野で100を超える論文、書籍、特許の著者としてよく知られた研究者です。

幼少期と教育

ミネソタ州出身のリチャード・デミロは、ミネソタ州ヒビングで生まれ育ち、1969年にミネソタ州セントポールのセントトーマス大学で数学の学士号を取得し、1972年にジョージア工科大学で情報およびコンピュータサイエンスの博士号を取得しました。

初期のキャリア

彼の最初の学術的任務はウィスコンシン大学ミルウォーキー校であったが、1976年にジョージア工科大学に戻り、情報およびコンピュータサイエンスの准教授となり、リチャード・リプトンと長期にわたる共同研究を行った。この共同研究は、コンピュータサイエンスにおける形式手法の画期的な分析^[2]、[3]^、プログラムミューテーションと呼ばれるソフトウェアテストの新しい方法の確立などにつながった。1977年には、ローレンス・ランドウェーバーと共同でTHEORYNETを作成した。これは、NSFNetの前身となる初期のストアアンドフォワード型コンピュータネットワークであり、最終的にはインターネットに吸収され、1989年までNSFによって管理された。^[4]

デミロは1981年から1987年まで米国国防総省（DoD）のソフトウェアテストおよび評価プロジェクトのディレクターを務めた。彼はソフトウェア集約型システムのテストと評価に関するDoDの方針を策定したことで広く評価されている。 ^{[5] 1987年に彼は}パデュー大学に移り、そこでコンピュータサイエンスの教授およびソフトウェアエンジニアリング研究センターのディレクターに任命された。1989年に彼は国立科学財団のコンピュータおよび計算研究部門のディレクターとなり、高性能コンピューティングと計算科学プログラムの成長を主導した。^{[6]彼はまたイタリアのパドヴァにある}パドヴァ大学の客員教授を務め、そこでソフトウェアエンジニアリングの成功した大学院プログラムの設立を主導した。^[7]

1995年にベルコア（後のテルコルディア・テクノロジーズ）の情報・コンピュータサイエンス研究部門の副社長兼ゼネラルマネージャーに就任し、電子商取引、ネットワーク、通信の新技術の発明を主導した。1997年にはリチャード・リプトンとダニエル・ボネと共同で暗号解読の「差分障害解析」手法を開発し、インターネットセキュリティの既存基準の強化につながった。^[8]

2000年、デミロはヒューレット・パッカード（HP）に副社長兼最高技術責任者（CTO）として入社した。^[9] HP在籍中、彼は同社の新しいプロセッサアーキテクチャの導入、企業の信頼とセキュリティ戦略、およびオープンソースソフトウェアへの参入を主導した。彼はHPの技術の広報担当者であり、IT業界で最も目立つ人物の1人であった。2002年、RSAセキュリティはデミロを取締役に任命し、彼は2007年にRSAがEMCに買収されるまでその地位にあった。^{[10]彼は2002年の}コンパックコンピュータとの合併を通じてHPに留まり、技術戦略担当副社長に任命された。彼はその年の8月にテックに戻り、コンピューティングカレッジの新学部長を務めた。^[11]

ジョージア工科大学

2002年に着任したデミロは、ピーター・A・フリーマンの後任としてジョージア工科大学コンピューティング学部の学部長に就任し、コンピュータサイエンスの入学者数が全国的に減少していた時期に、同学部を積極的な成長期に導いた。彼は3つの新しい学部、7つの新しい学位プログラム、3つの国際プログラム、2つの研究センターの設立を主導した。彼の在任期間中、ジョージア工科大学の大学院コンピュータサイエンスプログラムのランキングは14位から9位に上昇した。彼は大学の学部プログラムに幅広い焦点を組み込み、「スレッド」と呼ばれる新しいプログラムを立ち上げた。これは、国内外のコンピュータサイエンスプログラムに影響を与えた、学生中心の学部教育アプローチである。^[1]^[12]

DeMillo 氏は、2003 年に「信頼性とセキュリティに優れたソフトウェアのエンジニアリングへの貢献」によりACMフェローに選出されました。2004 年には、AAAS フェローにも選出されました。

2008年6月、ジョージア工科大学の長年の学長ウェイン・クラフがスミソニアン協会の事務局長に就任した直後、デミロはコンピューティング学部の学部長を辞任すると発表した。^[13] 2010年、彼は21世紀大学センター（C21U）を設立した。C21Uが「ユニークな機関」であると認められ、ルミナ財団は2013年に彼をフェローに任命した。^[14]

2011年、彼の著書『アベラールからアップルへ：アメリカの大学の運命』^[15]がMIT出版から出版され、高等教育の実験に特化したセンター設立の基盤となった。彼はオンライン教育革命の全国的リーダーとなり、続編『高等教育革命：いかにして少数のイノベーターが大学をアクセスしやすく手頃な価格にするか』がMIT出版から2015年に出版され、2016年にはアメリカ出版協会から最優秀教育書に選ばれた。^[16]

2016年、彼はジョージア工科大学の優秀な教員に毎年授与されるANAK協会賞を授与され、この種の賞の中で最も権威のある賞とされています。

2020年9月、彼はジョージア工科大学のサイバーセキュリティおよびプライバシー学部を設立し、初代学部長に就任しました。この学部は、主要な研究大学では初めての学術ユニットです。

参考文献

^ ab 「Richard A. DeMillo 氏へのインタビュー」 ACM Ubiquity 第 9 巻、第 25 号。2008 年。2009 年 1 月 22 日閲覧。
^ 数学の哲学における新しい方向性、トーマス・ティモスコ、1998年プリンストン大学出版、pp. 267-287
^ ソフトウェアテストの基礎、Aditya Mathur Peason Education Press、2008年
^ ネットの歴史、ヘンリー・ハーディ、グランドバレー州立大学修士論文、1993年
^ チャールズ・K・ワット、テストおよび評価担当ディレクター代理、配布用覚書（DoDD 5000.3 向けソフトウェアテストおよび評価マニュアル）、1985 年 9 月 18 日、米国国防総省、OUSDREm DOTE
^ コンピュータサイエンスの研究、ジョン・ライスとリチャード・デミロ編、プレナム、1994年
^ ソフトウェア工学における国際修士課程、A. Apostolico、G. Bilardi、F. Bombi、R. DeMillo、IEEE 国際データ工学会議、1995 年
^ キャッシュカードのセキュリティに潜在的な欠陥が見つかる、ジョン・マーコフ、ニューヨーク・タイムズ、1996年9月26日。
^ 「HP、最高技術責任者と最高科学責任者を追加し、上級科学技術チームを強化」(プレスリリース)。2000 年 10 月 6 日。2003 年 4 月 14 日時点のオリジナルよりアーカイブ。
^ 「RSA Security、HP の技術戦略担当副社長 Richard A. DeMillo 氏を取締役会に任命」(プレスリリース)。RSA Security。2002 年 6 月 27 日。2009年 1 月 22 日閲覧。
^ 「元 HP CTO が学術界へ移籍」CNETニュース 2002 年 10 月 10 日. 2009 年 1 月 22 日閲覧。
^ 『 フラットな世界：21世紀の簡潔な歴史、改訂・拡大版』トーマス・フリードマン、2008年
^ 「ジョージア工科大学と有名学部長が別れる」アトランタ・ジャーナル・コンスティテューション紙。2008年7月11日。 2009年1月22日閲覧。
^ 「ルミナ財団が「ルミナフェロー」の任命を発表」。ルミナ財団。
^ アベラールからアップルまで：アメリカの大学の運命
^ DeMillo, Richard (2015).高等教育の革命: 少数のイノベーターがいかにして大学をアクセスしやすく手頃な価格にするのだろうか。MIT Press。

外部リンク

コンピューティング学部のプロフィール
Wayback Machineの研究所プロフィール(2008 年 1 月 31 日アーカイブ)
リチャード・デミロの選集
リチャード・デミロのインタビューとデミロの辞任書
数学系譜プロジェクトのリチャード・アラン・デミロ
[1]

[intprof-1] 「Richard A. DeMillo 氏へのインタビュー」 ACM Ubiquity 第 9 巻、第 25 号。2008 年。2009 年 1 月 22 日閲覧。

[2] 数学の哲学における新しい方向性、トーマス・ティモスコ、1998年プリンストン大学出版、pp. 267-287

[3] ソフトウェアテストの基礎、Aditya Mathur Peason Education Press、2008年

[4] ネットの歴史、ヘンリー・ハーディ、グランドバレー州立大学修士論文、1993年

[5] チャールズ・K・ワット、テストおよび評価担当ディレクター代理、配布用覚書（DoDD 5000.3 向けソフトウェアテストおよび評価マニュアル）、1985 年 9 月 18 日、米国国防総省、OUSDREm DOTE

[6] コンピュータサイエンスの研究、ジョン・ライスとリチャード・デミロ編、プレナム、1994年

[7] ソフトウェア工学における国際修士課程、A. Apostolico、G. Bilardi、F. Bombi、R. DeMillo、IEEE 国際データ工学会議、1995 年

[8] キャッシュカードのセキュリティに潜在的な欠陥が見つかる、ジョン・マーコフ、ニューヨーク・タイムズ、1996年9月26日。

[9] 「HP、最高技術責任者と最高科学責任者を追加し、上級科学技術チームを強化」(プレスリリース)。2000 年 10 月 6 日。2003 年 4 月 14 日時点のオリジナルよりアーカイブ。

[rsa-10] 「RSA Security、HP の技術戦略担当副社長 Richard A. DeMillo 氏を取締役会に任命」(プレスリリース)。RSA Security。2002 年 6 月 27 日。2009年 1 月 22 日閲覧。

[11] 「元 HP CTO が学術界へ移籍」CNETニュース 2002 年 10 月 10 日. 2009 年 1 月 22 日閲覧。

[12] ^ 『 フラットな世界：21世紀の簡潔な歴史、改訂・拡大版』トーマス・フリードマン、2008年

[ajc-13] 「ジョージア工科大学と有名学部長が別れる」アトランタ・ジャーナル・コンスティテューション紙。2008年7月11日。 2009年1月22日閲覧。

[14] 「ルミナ財団が「ルミナフェロー」の任命を発表」。ルミナ財団。

[15] アベラールからアップルまで：アメリカの大学の運命

[16] DeMillo, Richard (2015).高等教育の革命: 少数のイノベーターがいかにして大学をアクセスしやすく手頃な価格にするのだろうか。MIT Press。