2021 Abel Prize winner was a Yale math and computer science mainstay