Jeffrey Shallit

Jeffrey Shallit is a Professor at the Cheriton School of Computer Science, University of Waterloo. In 2020, he was elected as a foreign member of the Finnish Academy of Science and Letters, recognizing his status as a leading academic in theoretical computer science and mathematics. He joined Waterloo in 1990 as an assistant professor after completing his PhD at the University of California, Berkeley, under Manuel Blum (Turing Award recipient) and group theorist David Goldschmidt.

Research Interests: His work sits at the intersection of number theory, algebra, logic, discrete mathematics, and computational theory. He is particularly renowned for his research in combinatorics on words and automata theory, focusing on decision procedures. His contributions have been cited over 8,500 times, with an h-index of 39 on Google Scholar.

Scientific Awards and Recognitions:

• Marsland Faculty Fellow (2010–13)
• ACM Distinguished Scientist (2008)
• University of Waterloo Outstanding Performance Award (2006, 2014)
• University of Waterloo Faculty of Mathematics Fellow (2004–2006)

Publications: He has authored and co-authored foundational texts such as A Second Course in Formal Languages and Automata Theory (2008), Automatic Sequences: Theory, Applications, Generalizations (2003), and Algorithmic Number Theory: Efficient Algorithms (1997), which collectively have garnered nearly 2,500 citations.