ハル・アベルソン
またアベルソンとサスマンはMIT Project on Mathematics and ComputationというMIT Computer Science and Artificial Intelligence Laboratory(かつてAI LabとLCSとのジョイントプロジェクトとしてCSAILを構成していた)のプロジェクトで共同監督として協力していた。このプロジェクトの目標は科学者や技術者にとってもっと良い計算ツールを製作することだったが、しかし強力な数値計算コンピュータや複雑な物理システムの探索でシミュレーションを準備し数値結果を解析するには未だに人間による努力と判断がかなり必要とされていた。アベルソンとサスマンは自身の学生と共に数値計算コンピューティングや記号代数学やヒューリスティクスプログラミングによる手法を組み合わせることで大規模な数値計算を行うだけでないプログラムを開発しようとしたが、そのプログラムは定性的性質でこれらの計算を解釈したり結果を「論じて」いた。このようなプログラムは高レベルな動作記述で物理システムの監視を行う聡明な科学機器の基礎を作り出すことができた。より一般的に彼らは自主的に複雑な物理システムを探れることで将来の科学や技術において重要な役割を果たす新世代の計算ツールを牽引できた。同時期、これらのプログラムには科学や技術を教育するためにより良い方法の基礎を生み出せる科学的知識の計算公式が組み込まれた。
ハロルド(ハル)・アベルソン(英語: Harold (Hal) Abelson、1947年4月26日 - )とはマサチューセッツ工科大学(MIT)の電気工学・コンピュータ科学科(英語版)教授、IEEEフェロー、クリエイティブ・コモンズとフリーソフトウェア財団両方の創設事務局長である。
アベルソンはプリンストン大学で文学士 (Bachelor of Arts) を、MITでは数学者のデニス・サリヴァンによる指導の下、数学のPh.D.学位を取得した。1992年、学部教育などへの重要かつ持続的な貢献が認められ、MITのMacVicar Faculty Fellowsにおける6人の1人として就任した。同年にはBose Award (MIT's School of Engineering teaching award)を、1995年計算機科学入門教育への継続的貢献が讃えられIEEE Computer SocietyよりTaylor L. Booth Education Award(英語版)を、2012年に計算機科学教育への顕著な貢献が讃えられACM SIGCSE Awardを受賞した。