イアン・アゴル
2004年、アゴルはアルバート・マーデン(英語版)により提出された、マーデンの順性(tameness)予想(英語版)を証明した。この予想は、有限生成された基本群を持つ双曲的3次元多様体は、コンパクトな3次元多様体の内部に位相同型であることを述べている。予想はまた、ダニー・カレガーリ(英語版)とデイヴィッド・ガバイ(英語版)により独立に証明された。予想から、アールフォルスの測度予想(英語版)が従う。
2012年、仮想ハーケン予想(英語版)の証明を公表し、一年後出版された。この予想(現在は定理)は、全ての非球面の3次元多様体はハーケン多様体(英語版)により有限被覆されるだろうと述べている。