ハーラン・ミルズ
ハーラン・D・ミルズ(Harlan D. Mills、1919年5月14日 - 1996年1月8日)は、アメリカ合衆国の計算機科学者・工学者である。フロリダ工科大学(英語版)の計算機科学の教授であり、フロリダ州ベロビーチ(英語版)のSoftware Engineering Technology, Inc.の創設者である。ミルズは、計算機工学の教育と産業慣行に深く永続的な影響を与えた。
IBMの研究員として、ミルズは工学と計算機科学における既存のアイデアをソフトウェア開発に応用した。この中には、オートマトン理論 、エドガー・ダイクストラ、ロバート・フロイドらによる構造化プログラミング理論、マルコフ連鎖ドリブンのソフトウェアテストなどがある。彼が提唱したソフトウェア開発工程モデルであるソフトウェアクリーンルームは、トップダウン設計と形式仕様記述を特徴とするものである。ミルズは、6冊の本と50以上の査読付き論文を執筆し、彼のアイデアを公開した。
ミルズは「スーパープログラマ」と呼ばれ、この言葉がIBMの「チーフプログラマ(英語版)」の概念に発展した。
1952年にアイオワ州立大学でPh.D.を取得した。その後、アイオワ州立大学、プリンストン大学、ニューヨーク大学、ジョンズ・ホプキンス大学、メリーランド大学、フロリダ大学、フロリダ工科大学(英語版)の教員を務めた。ジョンズ・ホプキンス大学とメリーランド大学では、アメリカの大学で初の構造化プログラミングのコースを始めた。メリーランド大学では、新入生向けの計算機科学のカリキュラムを開発し、入門書"Principles of Computer Programming: A Mathematical Approach"(コンピュータプログラミングの原理: 数学的アプローチ)を共著した。フロリダ工科大学では、Adaを基礎言語として使用する新入生と2年生向けのソフトウェア工学のカリキュラムを開発した。