Darío García

Marie Curie Research Fellow
School of Mathematics
University of Leeds

Marie Curie project website

My research is in model theory, specifically model-theoretic properties of ultraproducts of finite structures, towards (potencial) 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.



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.