American mathematician, computer scientist, and past president of the Association for Computing Machinery (ACM).