Jeffrey Shallit studies combinatorics on words, formal languages, automata theory and algorithmic number theory. His work connects finite descriptions of sequences with arithmetic structure and algorithms for deciding properties of those sequences.
His personal page gives a useful caution about experimentation: an apparently valid linear recurrence for one integer sequence fails only at index 11056. Long numerical agreement can motivate a conjecture, but a mathematical proof needs a structural reason that the identity continues indefinitely.[ref]
Portrait of Jeffrey Shallit
. Identified portrait on the author homepage; the page dates the photograph to 27 June 2024. Source. Articles by others on the same topic
Jeffrey Shallit is a computer scientist known for his work in the fields of theoretical computer science, automata theory, and formal languages. He has made significant contributions to the understanding of algorithms, computational theory, and the relationships between various mathematical structures. Shallit is also known for his work on combinatorial number theory and has authored or co-authored several academic papers and books on these topics.