Математичар, професор Универзитета Торонто и академик. Ужива углед водећег математичара у области теорије скупова и математичке логике на свету.