I am a first-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

I am interested in mathematical theories of trustworthiness for AI and applied functional analysis. Recently, I have been working on:

• undecidability phenomena for the wave equation on R^d;
• the mathematics of SciCompBot, a trustworthy scientific computing chatbot;
• the mathematics of autoformalisation.

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

Circelli, F. and Hansen, A. C. (Upcoming). Trustworthiness in AI: On SciCompBot - The Scientific Computing Chatbot, Philosophical Transactions of the Royal Society A, Vol 384.