Hut 8 was a section in the Government Code and Cypher School (GC&CS) at Bletchley Park (the British World War II codebreaking station) tasked with solving German naval (Kriegsmarine) Enigma messages, the section was led initially by who, which was an English computer scientist, mathematician, logician, cryptanalyst, philosopher and theoretical biologist?