Currently my research interests span combinatorics on words, algorithmic number theory, and automatic theorem proving.

My Erdős number is 2 (via Jeffrey Shallit).

Publications


Manuscripts