Computability in Algebraic Structures, Simons Foundation (2016–21) Grant uri icon