John Urschel is a legit full-time mathematician. Stewart's coauthorship seems to have more to do with her skills as a director than computer scientist.