Wolfgang Haken1928年生于德国柏林，1953年获哥廷根大学博士学位。他的研究跨越拓扑学、图论和计算机科学。1976年与Appel合作的四色定理证明是数学史上的里程碑。他还在纽结理论中提出了著名的Haken流形和Haken假设，这是三维流形拓扑学的核心概念之一。他发展了算法纽结理论，用计算机研究纽结的性质。1985年他与其子Matthias Haken一起出版了《图论中的证明》一书，系统阐述计算机证明的方法论。