Jeffrey Shallit Created 2026-10-20 Updated 2026-11-05
View more
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]
Figure 1.
Portrait of Jeffrey Shallit
. Identified portrait on the author homepage; the page dates the photograph to 27 June 2024. Source.
Read the full article