Portrait of Mira Tartarotti

Mira Tartarotti

I am a DPhil student in Mathematics at the University of Oxford, supervised by Martin Bays and Ehud Hrushovski. Previously, I did the MSc in Mathematics and Foundations of Computer Science at Oxford, where I wrote a master's thesis supervised by Ehud Hrushovski.

My research interests are broadly around model theory. To name some, I have found much joy learning about continuous logic, distality, descriptive set theory and C*-algebras.

You can contact me at .

CV

Research

Relative Distality and Incidence Bounds in Positive Characteristic. In progress.

A Game-Theoretic Unital Classification Theorem for C∗-Algebras, with Jennifer Pi and Michał Szachniewicz. Preprint.

The Lascar Group and Reconstruction Problems in Model Theory. Master's thesis.

Talks

Incidence bounds and relative distality. Oberseminar Logic, Universität Bonn, 13 July 2026.

The Joys of Completeness: An Invitation to First-Order Logic. St. John’s College Mathematical Sciences Graduate Seminar, University of Oxford, 18 May 2026. Slides.

Infinitary logic and the classification of separable C*-algebras. SEEMOD, Cambridge, 14 March 2026.

Relative distality and incidence bounds in valued fields with finite residue field. Workshop on Tame Geometry and Combinatorics, Leeds, 16–19 March 2026.

Logic and games: A brief overview. NCG&T Pre-Seminar, Prague, 3 March 2026.

Relative distality and incidence bounds for valued fields with finite residue field. Research seminar Model theory and groups, Universität Münster, 29 January 2026.

Notes on a reconstruction theorem of Lascar. Oberwolfach workshop: Homogeneous Structures: Model Theory meets Universal Algebra, Oberwolfach, 14–19 December 2025. Slides.

Incidence bounds in positive characteristic and relative distality. Séminaire Général de Logique, Paris, 8 December 2025.

The Lascar group and reconstruction of ω-categorical structures. Konstanz Women in Mathematics, 2 December 2024. Slides.

Reconstructing an ω-categorical structure from its endomorphism monoid. Research Seminar in Model Theory, Universität Wien, 24 April 2024.

Borel Determinacy. Algebra Seminar, TU Wien, 1 July 2022.

Teaching

In Michaelmas and Hilary term 2026/27, I will be a fixed-term stipendiary lecturer in Mathematics at St John's College in Oxford, teaching first-year undergraduates.

At Oxford, I have tutored:

  • C1.1 Model Theory
  • M1 Linear Algebra I (St John’s College)
  • M1 Linear Algebra II (St John’s College)
  • Introduction to University Mathematics (St John’s College)

I have been a TA for:

  • B1.1 Logic
  • B1.2 Set Theory

At TU Wien, I was a tutor for:

  • Mathematics 1 for Civil Engineering and Mechanical Engineering