CETaS, Defence and national security, Grand Challenges, The Alan Turing Institute