Mathematician:John E. Hopcroft