Lenore Blum’s long career has spanned the breadth of mathematics and computer science. She’s done influential work in logic and cryptography, and she formulated an entirely new model of computation.