Alan Mathison. 1912–54, English mathematician, who was responsible for formal description of abstract automata, and speculation on computer imitation of humans: a leader of the Allied codebreakers at Bletchley Park during World War II; he committed suicide after being prosecuted for homosexuality but was posthumously pardoned in 2013