I am a second-year PhD student in mathematics, supervised by Professor Anders C. Hansen. My doctoral research is fully funded by a Cambridge Australia Allen Scholarship.

Previously, I completed a Master of Mathematics at Vanderbilt University and a PhB Science with Honours at the Australian National University.

Research Interests
My research centres around the mathematical foundations of artificial intelligence and computation.

My current projects include:

• the mathematics of autoformalisation;
• undecidability phenomena for L^p norms of the wave equation in odd dimensions.

Diversity in Academia
I am deeply passionate about improving the representation and experiences of low socioeconomic students at university, particularly in the Australian context.

Publications/Preprints
Hansen, A. C., Circelli, F. (2026). Trustworthiness in AI: On SciCompBot - The Scientific Computing Chatbot, Philosophical Transactions of the Royal Society A, Vol 384 (2324). https://doi.org/10.1098/rsta.2025.0116

Bastounis, A., Circelli, F., Hansen, A. C. (2026). Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs [Preprint], arXiv, https://arxiv.org/abs/2610.08144