= Jeffrey Shallit
{c}
{wiki}
<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.https://cs.uwaterloo.ca/~shallit/[Areas of interest; sequence example and failure at index 11056]{ref}
\Image[https://cs.uwaterloo.ca/~shallit/jeffs-constant-small.jpeg]
{title=Portrait of Jeffrey Shallit}
{description=Identified portrait on the author homepage; the page dates the photograph to 27 June 2024.}
{source=https://cs.uwaterloo.ca/~shallit/}
{width=250}
Back to article page
