My research interests are computability theory and reverse mathematics.

Here is a list of my papers:

  • Marta Fiori Carones, Paul Shafer, Giovanni Soldà, An Inside/Outside Ramsey Theorem and Recursion Theory, arXiv link.