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