Shallit, Jeffrey O.
University of Waterloo. Algorithmic number theory (primality testing, and factoring), formal languages and automata theory (especially connections with number theory), history of mathematics and computer science, ethical use of computers.