ハーラン・ミルズ

アイオワ州リバティセンターで生まれた。若い頃にグラント・ウッドから美術を学んだ。第二次世界大戦中、アメリカ陸軍航空隊の爆撃機パイロットになった。飛行技術に優れ、教えるのが上手かったため、飛行任務よりも、他のパイロットの訓練に当たるようになった。

1952年にアイオワ州立大学でPh.D.を取得した。その後、アイオワ州立大学、プリンストン大学、ニューヨーク大学、ジョンズ・ホプキンス大学、メリーランド大学、フロリダ大学、フロリダ工科大学の教員を務めた。ジョンズ・ホプキンス大学とメリーランド大学では、アメリカの大学で初の構造化プログラミングのコースを始めた。メリーランド大学では、新入生向けの計算機科学のカリキュラムを開発し、入門書"Principles of Computer Programming: A Mathematical Approach"（コンピュータプログラミングの原理: 数学的アプローチ）を共著した。フロリダ工科大学では、Adaを基礎言語として使用する新入生と2年生向けのソフトウェア工学のカリキュラムを開発した。

ミルズはIBMフェローであり、IBMの技術委員会のメンバーであり、GEとRCAの技術スタッフメンバーであり、Mathematica and Software Engineering Technologyの社長だった。GEでは、数百人のGEのエグゼクティブが参加する経営科学の3か月間のカリキュラムを開発した。IBMでは、IBMソフトウェア工学研究所の主要なアーキテクトであり、数千人のIBMソフトウェア担当者がソフトウェアの数学的基礎の訓練を受けた。彼は後に、ソフトウェアクリーンルームモデルでソフトウェアの数学的・統計的原理を具体化した。

ミルズは、連邦政府のプログラムを通じて健全なソフトウェア工学の実践を促進することに常に関心を寄せていた。1980年代のDoD DARPA STARSプログラムの形成期に、彼は高い生産性で高品質のソフトウェアを開発するための基本的な概念を提供した。1986年、彼は米国空軍科学諮問委員会の計算機科学パネルの議長を務めた。1974年から77年にかけて、彼はNSFのソフトウェア方法論に関する計算機科学研究パネルの議長を務めた。

ミルズは、プログラム委員会のメンバーであり、多くの専門的な会議に講演者を招き、多くの数学および計算機科学の論文誌の査読者を務めた。1980年から83年まで、IEEE Computer Societyの理事を務めた。1981年、EEE Fall CompConの議長を務めた。1975年から1981年まで、IEEE Transactions on Software Engineeringの編集者を務めた。1977年、情報処理国際連合(IFIP)会合で米国のソフトウェア代表を務めた。1975年、第1回ソフトウェア工学全米会議の議長を務めた。