Collaboration in computability, NSF (2006–11; 2011–16; 2016–19) Grant uri icon