
Jeffrey O. ShallitProfessor

Areas of interest:
Combinatorics on words,
formal languages and automata theory (especially connections with
number theory),
algorithmic number theory (primality testing, factoring, etc.),
history of mathematics and computer science,
ethical use of computers, debunking pseudoscience and pseudomathematics.
Foreign member, Finnish Academy of Science and Letters. Elected 2020.
Here I am on google scholar citations.
There is a constant 1.369451... named after me. It is not as important as Euler's constant. Here is a Maple file to compute some estimates of it. Recently Sadov computed many more digits; his paper appeared in Mathematical Notes 110 (2021), 375392.
There are two different sequences named after me. The first appeared in D. Boyd, Linear recurrence relations for some generalized Pisot sequences, Advances in Number Theory, Oxford University Press, 1993, pp. 333340, and is defined as follows: a_{0} = 8, a_{1} = 55, and for n ≥ 1 we have a_{n+1} is the least integer such that a_{n+1}/a_{n} > a_{n}/a_{n–1}. The sequence starts 8, 55, 379, 2612, 18002, ... and appears to satisfy the recurrence a_{n} = 6a_{n–1} + 7a_{n–2} – 5a_{n–3} – 6a_{n–4}. But it does not; the identity fails at n = 11056. See here for more details.
The second is actually a family of sequences, defined here by Moree et al.
Are you interested in graduate study in theoretical computer science? Please read this.
Professional Activities

Unprofessional Activities 
Disclaimer: Nothing on this page should be taken to represent the official views of the University of Waterloo.