Darío García

Contact information

Email: D.Garcia@leeds.ac.uk

School of Mathematics
University of Leeds
LS2 9JT, Leeds, UK.

I am a Marie Curie Research Fellow, working under the grant agreement MODFIN 656422 on model theory of pseudofinite structures. This is the project website.
My research interest is in model theory, specifically model-theoretic properties of ultraproducts of finite structures, towards (potential) application to combinatorics.

I received my Ph.D. at Universidad de los Andes (Bogotá-Colombia) under the supervision of Alf Onshuus (from uniandes ) and Thomas Scanlon (from UC Berkeley). Last year I was a postdoctoral researcher in the Institut Camille Jordan at Université Claude Bernard, Lyon 1.

View my CV here.

Workshop on finite and pseudofinite structures

We are organising a workshop on model theory of finite and pseudofinite structures , which will be held at the University of Leeds, (UK), on April 9-11, 2018. Some of the themes that will be touched on during the workshop are:



FALL 2016


  1. The Erdös-Hajnal conjecture for stable graphs. [notes]
    School of Mathematics. University of Manchester.
  2. Applications of ultraproducts of finite structures to combinatorics. [abstract]
    Institute for Research in Fundamental Sciences. Isfahan, Iran.
  3. Unimodularity unified. [slides]
    Logic Colloquium 2016. University of Leeds.
  4. Model Theory Seminar. University of Leeds.
  5. Logic Seminar. University of Oxford.
  6. Lancashire Yorkshire Model Theory Seminar - LYMOTS.
  7. Séminaire Théodie des Modèles et Groupes. Université Paris-Diderot. Paris 7.
  8. Séminaire de Logique mathématique. Institute Camille Jordan. Lyon
  9. Pseudofinite structures and simplicity. [slides]
    Neostability Theory. BIRS - Oaxaca.
  10. El Teorema de Szemerédi via ultraproducts. [slides]
    Matemáticas por Estudiantes, 2014. Universidad de los Andes.
  11. O-asymptotic classes of finite structures. [slides]
    Simposio Latinoamericano de Lógica Matemática - Universidad de Buenos Aires, Argentina.
  12. Model Theory Seminar. University of California - Berkeley.
  13. A proof of Szemerédi’s Regularity Lemma via ultraproducts. [notes]
    Finite structures and Limits Seminar. UC-Berkeley - MSRI.
  14. Asymptotic classes of finite structures. [notes]
    Finite structures and Limits Seminar. UC-Berkeley - MSRI.
  15. Recent applications from Model Theory to Combinatorics. [slides]
    Graduate Student Conference in Logic. University of Illinois at Urbana-Champaign.
  16. Generic stability, forking and thorn-forking. [slides]
    Model Theory Seminar. University of California - Berkeley.