Academic

Previous research

Automated Theorem Proving

Up until March 2023, I was part of a research group in this area led by Professor Timothy Gowers. More information about the research project can be found here . Recently I have been having concerns about the impact of AI on humantity. Since this research falls under the AI umbrella, I didn't feel right doing it. As a result, I have withdrawn from my position in the research group.

Additive combinatorics

From October 2017 till September 2018 I was a DPhil (equivalent of PhD) student with Professor Ben Green at the university of Oxford, in the field of additive combinatorics. I produced two papers during this time, which are listed on the publications section of this website. For various reasons, I did not complete the DPhil.

Combinatorial game theory

In 2015 I did a summer research project with Professor Imre Leader. I studied a family of combinatorial games known as maker-breaker games . During this time, I found some nicer proofs of existing results.