カール・ヒューイット
Henry Baker との共同研究で、彼は計算に関する物理法則を発表した。その法則はデイナ・スコットが計算機能の連続性判定基準を導出する元となった。彼はコルーチンが再帰よりも強力であることを証明し、並行性が並列的コルーチンよりも強力であることを証明した。
ヒューイットと彼の同僚や学生はアクターモデルに関する業績でも知られている。アクター(Actor)とは並行計算の汎用的基本要素である。アクターモデルに影響を与えたものとして、LISP、Simula、Capability-based system、パケット通信、初期のSmalltalkが挙げられる。
ヒューイットは、Bill Kornfeld と共同で Scientific Community Metaphor を開発した。他にも、ガベージコレクション、プログラミング言語の設計と実装、マルチエージェントシステム、矛盾許容論理などについても貢献している。
その後ヒューイットは、社会学、人類学、組織科学(organization science)、科学哲学、サービス科学(services science)を情報学に取り込む研究を行ってきた。また、彼は超並列性にも興味を持っている。