Currently my research interests span combinatorics on words, algorithmic number theory, and automatic theorem proving.
Some other projects that I’ve worked on can be found here.

My Erdős number is 2.

Publications