Articles
A list of articles I've authored or co-authored. Where possible, I'll provide arXiv links and a pdf.
Hardy field extensions of Presburger arithmetic.
This paper is about the (un)decidability of a class of extensions of Presburger arithmetic by Hardy field functions that grow more slowly than a polynomial. The definition of a Hardy field function is technical, but they can be thought of as well-behaved functions that look like polynomials.
One nice result of this paper is that it shows the extension of Presburger arithmetic by a very general class of polynomials—namely those with non-integer coefficients or exponents—when taken to the nearest integer is, in general, undecidable. For better or for worse.
Talks
Talks I've given with an academic flavour. This includes everything from 5-minute lightning talks to whole 60-minute sessions. Again, where possible I'll provide slides for each of these. If I mention the Compsoc
below, I'm talking about the Oxford University Computer Science and Technology Society!
The Philosophy of Computer Science
What did computer science and philosophy students do before AI?
[PDF]This was a more light-hearted talk, meant for a five-minute lightning talk session at the Compsoc. It's not rigorously academic, but the ideas in it are still interesting, and do raise actual philosophical questions.
Decidability of Presburger arithmetic
How far does decidability go?
[PDF]This talk was an hour long, given as part of the Compsoc's termly talk series. The talk covers Presburger's proof of the decidability of Presburger arithmetic, as well as some of the work Jakub Konieczny and I had been doing on the subject. The talk was aimed at non-specialist CS undergraduates.
Decidability of Arithmetic Theories
What can't computers do?
[PDF]This talk was about decidability at a high level, and aimed at a general student audience. It was given at the CatzXCon (Catz eXchange Conference), which was for the St. Catherine's college (i.e. the Oxford college) community to share any research that we'd been doing. It was preceded by a talk about early twentieth century government conspiracy theories, and followed by a talk about language preservation in Inner Mongolia, so that gives you an idea of how general the talk had to be!
Traversing $\LaTeX$
The Harried Undergraduate's Guide
[PDF]Given as an hour-long talk for the Compsoc's Learn to Code talk series. It's aimed mostly at getting CS undergraduates to actually typeset their problem sheets rather than handwriting everything, and so the talk walks through an example of that. I hope the talk worked.